MPG.eBooks - Search Results - "cycling"

Search alternatives:
"cycling" » "recycling"

Cover Image

1

FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

Table of Contents: “... -- RTL and refutation by positive cycles -- Formalising the semantics of Ward/Mellor SA/RT essential...”