Compositions of Model Checking Real Time Systems

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Book series	Lecture Notes in Computer Science
Volume	No. 962
ISSN	0302-9743
Publication status	Published - 1996

AUB Link

@article{19feb3409c2f11db8ed6000ea68e967b,

title = "Compositions of Model Checking Real Time Systems",

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

note = "In Proceedings of CONCUR95 In Proceedings of CONCUR95",

year = "1996",

language = "English",

volume = "No. 962",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}