
Formal Modeling and Analysis of Timed Systems
- Undertittel
- 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
- Redaktør
- Uli Fahrenberg, Stavros Tripakis
- ISBN
- 9783642243097
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 12.9.2011
- Antall sider
- 353
