×

Found 2 Documents (Results 1–2)

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
Full Text: DOI Link

Filter Results by …

Year of Publication

Main Field