Formal Modeling and Analysis of Timed Systems [Risorsa elettronica] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings / edited by Joël Ouaknine, Frits W. Vaandrager
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2009
ISBN
9783642043680
Collana
Lecture Notes in Computer Science , 0302-9743 ; 5813