Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings

Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings

Saved in:
Bibliographic Details
Corporate Author: FORMATS 2010 Klosterneuburg, Austria
Other Authors: Chatterjee, Krishnendu, Henzinger, T. A. Thomas A.
Format: Book
Published: Berlin Springer 2010
Series:Lecture notes in computer science v.6246
LNCS sublibrary: SL 1-theoretical computer science and general issues
Subjects:
Computer simulation > Congresses
Formal methods (Computer science) > Congresses
Temporal automata > Congresses
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:x, 255 p. ill. 24 cm
Bibliography:Includes bibliographical references and index
ISBN:3642152961 (pbk.)
9783642152962 (pbk.)
ISSN:0302-9743

Similar Items