TY  - BOOK
AU  - Lewerentz,Claus
AU  - Lindner,Thomas
TI  - Formal development of reactive systems: case study production cell 
SN  - 3540588671
AV  - QA76.76 D47 F65
PY  - 1995///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer software
KW  - Development
ER  -