
Formal Modeling and Analysis of Timed Systems
- Alaotsikko
- 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
- Toimittaja
- Marcin Jurdzinski, Dejan Nickovic
- Painos
- 2012 ed.
- ISBN
- 9783642333644
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 17.8.2012
- Sivumäärä
- 267