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 Author: FORMATS (Conference) Paris, France)
Other Authors: Asarin, E. A. (Evgeniĭ Aleksandrovich), Bouyer, Patricia, 1976-
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 2006.
Series:Lecture notes in computer science. 4202.
Subjects:
Computer simulation > Congresses.
Temporal automata > Congresses.
Formal methods (Computer science) > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.C65 F67 2006
 
Call Number Status Get It
QA76.9.C65 F67 2006 Available