Formal Development of Reactive Systems: Case Study Production Cell

Production

by Claus Lewerentz

Paperback

ISBN: 978-0-387-58867-4

ISBN-10: 0-387-58867-1

Springer-Verlag · 1995

See also:
2008TaschenbuchFormal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science, Band 891)