TY  - BOOK
AU  - Bernardo, Marco
AU  - Corradini, Flavio
ED  - International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th : 2004 : Bertinoro, Italy)
TI  - Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication, and software systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures
SN  - 3540230688
SN  - 200411136
U1  - 004.33 BER 
PY  - 2004///
CY  - Berlin
PB  - Springer
KW  - Computer software - Congresses
KW  - Computer systems - Congresses
KW  - Formal methods (Computer science) - Congresses
KW  - Real-time data processing - Congresses
N1  - Includes bibliographical references and index
ER  -