Title

Formal development of reactive systems: Case study production cell

Person Involved

Publisher

Publishing Place

Berlin

Publication Date

1995

Series

Lecture Notes in Computer Science; 891

ISBN

3-540-58867-1

0-387-58867-1