TY  - GEN
AU  - Bernardo,Marco
AU  - Corradini,Flavio
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 
T2  - Lecture notes in computer science
SN  - 3540230688 (softcover : alk. paper)
U1  - 004.33 
PY  - 2004///
CY  - Berlin, New York
PB  - Springer
KW  - Computer software
KW  - Computer systems
KW  - Formal methods (Computer science) EBOOK
KW  - Real-time data processing
UR  - http://www.loc.gov/catdir/enhancements/fy0814/2004111362-d.html
ER  -