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
Publication dateOct 2009
ISBN (Print)978-184821143-8, 1848211430
Publication statusPublished - Oct 2009

Cite this