MRTC publications

Abstract

BibTeX entry

@inproceedings{Ouimet_1427:2007,
   author = {Martin Ouimet and Kristina Lundqvist},
   title = {The Timed Abstract State Machine Toolset: Specification, Simulation, and Verification of Real-Time Systems},
   booktitle = {19th International Conference on Computer-Aided Verification (CAV '07)},
   month = {July},
   year = {2007},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1427},
}