Tools for Model-Checking Timed Systems

Alexandre David, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Gerd Behrmann, Peter Bulychev, Joakim Byg, Thomas Chatain, Paul Pettersson, Jiri Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Original languageEnglish
Title of host publicationCommunicating Embedded Systems for Computer Science
EditorsOlivier H. Roux, Claude Jard
PublisherWiley
Publication dateOct 2009
Pages165-225
ISBN (Print)978-184821143-8, 1848211430
Publication statusPublished - Oct 2009

Cite this

David, A., Rasmussen, J. I., Larsen, K. G., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Pettersson, P., Srba, J., Yi, W., Jørgensen, K. Y., Lime, D., Magnin, M., Roux, O. H., & Traonouez, L-M. (2009). Tools for Model-Checking Timed Systems. In O. H. Roux, & C. Jard (Eds.), Communicating Embedded Systems for Computer Science (pp. 165-225). Wiley.