Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings /

Bibliographic Details
Corporate Authors:	FORMATS (Conference) Salzburg, Austria), SpringerLink (Online service)
Other Authors:	Raskin, Jean-François, 1972-, Thiagarajan, P. S.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2007.
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science. 4763.
Subjects:	Computer simulation > Congresses. Formal methods (Computer science) > Congresses. Temporal automata > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online