
Formal Modeling and Analysis of Timed Systems
- Undertitel
- 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
- Redaktör
- Marcin Jurdzinski, Dejan Nickovic
- Upplaga
- 2012 ed.
- ISBN
- 9783642333644
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-08-17
- Sidor
- 267
