
Formal Modeling and Analysis of Timed Systems
- Undertitel
- 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
- Redaktör
- Víctor Braberman, Laurent Fribourg
- Upplaga
- 2013 ed.
- ISBN
- 9783642402289
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2013-08-08
- Sidor
- 275
