Formal modeling and analysis of timed systems
Subtitle: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
By: Krishnendu Chatterjee, Thomas A. Henzinger (eds.).
Contributors: Chatterjee, Krishnendu; Henzinger, T. A. (Thomas A.)
Series: Lecture notes in computer science -- 6246; LNCS sublibrary: SL 1-theoretical computer science and general issues; Lecture notes in computer science -- 6246.; LNCS sublibrary
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 255
ISBN-13: 9783642152962
Subjects: Formal methods (Computer science); Computer simulation; Congresses; Temporal automata
Notes: Includes bibliographical references and index.

Also issued online.