
Formal Modeling and Analysis of Timed Systems
- Undertittel
- 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
- Redaktør
- Marcin Jurdzinski, Dejan Nickovic
- Opplag
- 2012 ed.
- ISBN
- 9783642333644
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 17.8.2012
- Antall sider
- 267
