François Laroussinie, Kim Guldstrand Larsen. CMC: A Tool for Compositional Model-Checking of Real-Time Systems. In Stanislaw Budkowski, Ana R. Cavalli, Elie Najm, editors, Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII 98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and. Volume 135 of IFIP Conference Proceedings, pages 439-456, Kluwer, 1998.
@inproceedings{LaroussinieL98,
title = {CMC: A Tool for Compositional Model-Checking of Real-Time Systems},
author = {François Laroussinie and Kim Guldstrand Larsen},
year = {1998},
tags = {model checking, meta-model, composition, Meta-Environment},
researchr = {https://researchr.org/publication/LaroussinieL98},
cites = {0},
citedby = {0},
pages = {439-456},
booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII 98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and},
editor = {Stanislaw Budkowski and Ana R. Cavalli and Elie Najm},
volume = {135},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {0-412-84760-4},
}