×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–9)

100
MathJax
Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 371-386 (2011).
MSC:  68N30 03B70 68T15
PDF BibTeX XML Cite
Full Text: DOI
Siegler, Simon (ed.) et al., Verification, induction, termination analysis. Festschrift for Christoph Walther on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-17171-0/pbk). Lecture Notes in Computer Science 6463. Lecture Notes in Artificial Intelligence, 17-37 (2010).
MSC:  68N30 68R10
PDF BibTeX XML Cite
Full Text: DOI
Maneth, Sebastian (ed.), Implementation and application of automata. 14th international conference, CIAA 2009, Sydney, Australia, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02978-3/pbk). Lecture Notes in Computer Science 5642, 165-177 (2009).
MSC:  68N30 68Q45
PDF BibTeX XML Cite
Full Text: DOI