Formal Modeling and Analysis of Timed Systems [Risorsa elettronica] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / edited by Jean-François Raskin, P. S. Thiagarajan
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2007
ISBN
9783540754541
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4763