%0 Conference Paper %1 conf/forte/LaroussinieL98 %A Laroussinie, François %A Larsen, Kim Guldstrand %B FORTE %D 1998 %E Budkowski, Stanislaw %E Cavalli, Ana R. %E Najm, Elie %I Kluwer %K dblp %P 439-456 %T CMC: A Tool for Compositional Model-Checking of Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/forte/forte1998.html#LaroussinieL98 %V 135 %@ 0-412-84760-4

@inproceedings{conf/forte/LaroussinieL98, added-at = {2002-01-03T00:00:00.000+0100}, author = {Laroussinie, François and Larsen, Kim Guldstrand}, biburl = {https://www.bibsonomy.org/bibtex/27f128b85654ce49f9a14453b32a0fcd2/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1998}, date = {2002-01-03}, description = {dblp}, editor = {Budkowski, Stanislaw and Cavalli, Ana R. and Najm, Elie}, interhash = {b1fe860ddf60f24932c49e6daba8128f}, intrahash = {7f128b85654ce49f9a14453b32a0fcd2}, isbn = {0-412-84760-4}, keywords = {dblp}, pages = {439-456}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {CMC: A Tool for Compositional Model-Checking of Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1998.html#LaroussinieL98}, volume = 135, year = 1998 }