Real-Time Model-Checking: Parameters Everywhere

Technical Report PDF: 
Technical Report Number: 
2003.14
TitleReal-Time Model-Checking: Parameters Everywhere
Publication TypeBook Chapter
Year of Publication2003
AuthorsBruyère, V, Raskin J-F
EditorPandya, PK, Radhakrishnan J
Book TitleFST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
Series TitleLecture Notes in Computer Science
Volume2914
Pagination100-111
PublisherSpringer Berlin / Heidelberg
URLhttp://dx.doi.org/10.1007/978-3-540-24597-1_9