
Formal Modeling and Analysis of Timed Systems
- Alaotsikko
- 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
- Toimittaja
- Uli Fahrenberg, Stavros Tripakis
- ISBN
- 9783642243097
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 12.9.2011
- Sivumäärä
- 353