

Formal Modeling and Analysis of Timed Systems
- Alaotsikko
- Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
- Toimittaja
- Paul Pettersson, Wang Yi
- ISBN
- 9783540316169
- Kieli
- englanti
- Julkaisupäivä
- 29.11.2005
- Kustantaja
- Springer Berlin Heidelberg
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone