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!

Internet