×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

Marcinkowski, Jerzy (ed.) et al., Computer science logic. 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23024-6/pbk). Lecture Notes in Computer Science 3210, 325-339 (2004).
MSC:  68Q60 03B44 68Q85
BibTeX Cite
Full Text: DOI
Geist, Daniel (ed.) et al., Correct hardware design and verification methods. 12th IFIP WG 10. 5 advanced research working conference, CHARME 2003, L’Aquila, Italy, October 21–24, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20363-X/pbk). Lect. Notes Comput. Sci. 2860, 247-262 (2003).
MSC:  68M12 68Q60
BibTeX Cite
Full Text: DOI
Garavel, Hubert (ed.) et al., 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. Lect. Notes Comput. Sci. 2619, 144-159 (2003).
MSC:  68Q60 68M12 68Q85
BibTeX Cite
Full Text: Link

Filter Results by …

Year of Publication
Classification
Software