Model Checking Software [Risorsa elettronica] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings / edited by Antti Valmari
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2006
ISBN
9783540331032
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3925