

Formal Modeling and Analysis of Timed Systems
- Undertitel
- Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
- Redaktör
- Wang Yi, Paul Pettersson
- ISBN
- 9783540316169
- Språk
- Engelska
- Utgivningsdatum
- 2005-11-29
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
