L
[LL98] François Laroussinie and Kim Guldstrand Larsen. CMC: A Tool for Compositional Model-Checking of Real-Time Systems. In FORTE/PSTV'98, IFIP Conference Proceedings 135, pages 439-456. Kluwer Academic, October 1998.
@inproceedings{forte1998-LL,
  author =              {Laroussinie, Fran{\c c}ois and Larsen, Kim
                         Guldstrand},
  title =               {{CMC}: A~Tool for Compositional Model-Checking of
                         Real-Time Systems},
  editor =              {Budkowski, Stanislaw and Cavalli, Anna R. and Najm,
                         Elie},
  booktitle =           {{P}roceedings of the {IFIP} {TC6} {WG}6.1 {J}oint
                         {I}nternational {C}onference on {F}ormal
                         {D}escription {T}echniques for {D}istributed
                         {S}ystems and {C}ommunication {P}rotocols
                         ({FORTE}'98) and {P}rotocol {S}pecification,
                         {T}esting and {V}erification ({PSTV}'98)},
  acronym =             {{FORTE/PSTV}'98},
  publisher =           {Kluwer Academic},
  series =              {IFIP Conference Proceedings},
  volume =              {135},
  pages =               {439-456},
  year =                {1998},
  month =               oct,
}
List of authors