Formal modeling and analysis of timed systems 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 ; proceedings (Springer, 2008)
Literaturangaben