Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / edited by Hubert Garavel, John Hatcliff.
Garavel, Hubert.
Hatcliff, John.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
online resource
Lecture notes in computer science ; 2619
Full Text
Description not available.