Bernardo, Marco Corradini, Flavio Eds.,
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 - 1st ed. - New York, NY Springer 2004. - 293 - Lecture notes in computer science ; 03185 .
3540230688
681 LNCS
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 - 1st ed. - New York, NY Springer 2004. - 293 - Lecture notes in computer science ; 03185 .
3540230688
681 LNCS