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

Research output: Book/Report › Book › Research

Original language	English

Place of Publication	Aalborg
Publisher	Aalborg Universitetsforlag
Publication status	Published - 1998

AUB Link

@book{5d0212c0003311dab4d5000ea68e967b,

title = "CMC: A Tool for Compositional Model-Checking of Real-Time Systems",

author = "Larsen, {Kim Guldstrand} and F. Laroussinie",

note = "Paper presented at {"}FORTE/PSTV Conference{"}, Paris, 1998 Paper presented at {"}FORTE/PSTV Conference{"}, Paris, 1998",

year = "1998",

language = "English",

publisher = "Aalborg Universitetsforlag",

}

TY - BOOK

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

AU - Larsen, Kim Guldstrand

AU - Laroussinie, F.

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

PY - 1998

Y1 - 1998

M3 - Book

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

PB - Aalborg Universitetsforlag

CY - Aalborg

ER -