Cover Image

Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Authors: FORMATS (Conference) Paris, France), SpringerLink (Online service)
Other Authors: Asarin, E. A. (Evgeniĭ Aleksandrovich), Bouyer, Patricia, 1976-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, 2006.
Series:LNCS sublibrary. Theoretical computer science and general issues.
Lecture notes in computer science. 4202.
Subjects:
Computer simulation > Congresses.
Formal methods (Computer science) > Congresses.
Temporal automata > Congresses.
Automates mathématiques, Théorie des > Congrès.
Automates temporels > Congrès.
Méthodes formelles (Informatique) > Congrès.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:xi, 367 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540450319
9783540450313
ISSN:0302-9743 ;
DOI:10.1007/11867340