TY  - BOOK
AU  - Bernardo, Marco
AU  - Corradini, Flavio Eds.,
TI  - Formal methods for the design of real-time systems: international school on formal methods for the design of computer, communication, and software systems,: Bertinora, Italy, September 13-18, 2004, revised lectures
SN  - 3540230688
CY  - New York, NY
ER  -