Spara
Formal Modeling and Analysis of Timed Systems
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8–10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria.
- Undertitel
- 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
- Redaktör
- Krishnendu Chatterjee, Thomas A. Henzinger
- ISBN
- 9783642152962
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 30.8.2010
- Sidor
- 257
