Garavel, Hubert (ed.); Hatcliff, John (ed.) Special issue: Tools and algorithms for the construction and analysis of systems (TACAS 2003). Selected papers based on the presentations at the 9th TACAS conference, Warsaw, Poland, April 2003. (English) Zbl 1094.68504 Theor. Comput. Sci. 354, No. 2, 169-317 (2006). MSC: 68-06 00B25 PDFBibTeX XML
Garavel, Hubert (ed.); Hatcliff, John (ed.) Tools and algorithms for the construction and analysis of systems. 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. (English) Zbl 1017.00035 Lecture Notes in Computer Science. 2619. Berlin: Springer. xvi, 604 p. (2003). MSC: 00B25 68-06 68Mxx PDFBibTeX XMLCite \textit{H. Garavel} (ed.) and \textit{J. Hatcliff} (ed.), Tools and algorithms for the construction and analysis of systems. 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. Berlin: Springer (2003; Zbl 1017.00035) Full Text: DOI Link