CMC: A Tool for Compositional Model-Checking of Real-Time Systems

Kim Guldstrand Larsen, F. Laroussinie

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
UdgivelsesstedAalborg
ForlagAalborg Universitetsforlag
StatusUdgivet - 1998

Bibliografisk note

Paper presented at "FORTE/PSTV Conference", Paris, 1998
Paper presented at "FORTE/PSTV Conference", Paris, 1998

Citationsformater