Nicolas Markey

@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,
}