TY  - BOOK
AU  - Bertran Miquel ed.
ED  - International AMAST Workshop on Real-time Systems and Concurrent and Distributed Software, ARTS'97 (4th : 21-23 May 1997 : Mallorca,Spain)
ED  - International AMAST workshop on real-time systems and concurrent and distributed software, ARTS'97
TI  - Transformation-based reactive systems development: proceedings
SN  - 3-540-63010-4
U1  - 5.1 
PY  - 1997///
CY  - Berlin
PB  - Springer-Verlag
KW  - Real-time software
ER  -