Formal development of reactive systems. Case study production cell. (English) Zbl 0825.00053
Lecture Notes in Computer Science. 891. Berlin: Springer-Verlag. xi, 394 p. (1995).
The articles of this volume will not be indexed individually.
MSC:
00B25 | Proceedings of conferences of miscellaneous specific interest |
68-06 | Proceedings, conferences, collections, etc. pertaining to computer science |