Formal Modeling and Analysis of Timed Systems : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Eugene Asarin, Patricia Bouyer (edición)
Format: Knjiga
Jezik:angleščina
Izdano: Berlín, Alemania : Springer, 2006, c2006
Serija:(Lecture Notes in Computer Science)
Online dostop:Ver documento en línea
Oznake: Označite
Brez oznak, prvi označite!