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.
DOI10.1007/B110123zbMath1088.68002OpenAlexW36240330MaRDI QIDQ2492159
No author found.
Publication date: 7 June 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b110123
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Uses Software
This page was built for publication: 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.
