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