×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–9)

100
MathJax
Peled, Doron A. (ed.) et al., Automated technology for verification and analysis. Third international symposium, ATVA 2005, Taipei, Taiwan, October 4–7, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29209-8/pbk). Lecture Notes in Computer Science 3707, 370-384 (2005).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Etessami, Kousha (ed.) et al., Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6–10, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27231-3/pbk). Lecture Notes in Computer Science 3576, 418-423 (2005).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI