Formal Modeling and Analysis of Timed Systems electronic resource : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings / edited by Uli Fahrenberg, Stavros Tripakis
- Författare
- Denmark) (2011 FORMATS 2011 Ålborg
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |