
Formal Modeling and Analysis of Timed Systems
- Undertitel
- 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
- Redaktör
- Uli Fahrenberg, Stavros Tripakis
- ISBN
- 9783642243097
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2011-09-12
- Sidor
- 353