Tools and Algorithms for the Construction and Analysis of Systems [Risorsa elettronica] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540319801
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3440