Formal modeling and analysis of timed systems 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / Uli Fahrenberg, Stavros Tripakis (eds.).

Author/creator FORMATS 2011
Other author Ouaknine, Joël.
Other author Vaandrager, Frits.
Format Electronic
Publication InfoBerlin ; New York : Springer
Descriptionxi, 351 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2011 English International
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects
Computer simulation--Congresses.
Temporal automata--Congresses.
Formal methods (Computer science)--Congresses.
Machine theory--Congresses.

SeriesLecture notes in computer science, 0302-9743 ; 6919
Bibliography noteIncludes bibliographical references and author index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2011936636
ISBN9783642243097 (pbk. : alk. paper)