Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 proceedings / Editors, Franck Cassez and Claude Jard
- Författare
- France) (2008 FORMATS 2008 Saint-Malo
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |