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

Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

Originalsprog	Engelsk

Udgivelsessted	Aalborg
Forlag	Aalborg Universitetsforlag
Status	Udgivet - 1998

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

Citationsformater

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