Editions

Formal Modeling and Analysis of Timed Systems: 4th International Conference, Formats 2006, Paris, France, September 25-27, 2006, Proceedings

Current edition
Formal Modeling and Analysis of Timed Systems: 4th International Conference, Formats 2006, Paris, France, September 25-27, 2006, Proceedings by

Lecture Notes in Computer Science

Formal Modeling and Analysis of Timed Systems: 4th International Conference, Formats 2006, Paris, France, September 25-27, 2006, Proceedings

369 pages

nonfiction computer science science
Other editions (1)
Expand filter menu Filter editions
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Time by

Lecture Notes in Computer Science

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Time

402 pages

nonfiction computer science science