×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Alur, Rajeev (ed.) et al., Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22342-8/pbk). Lecture Notes in Computer Science 3114, 484-487 (2004).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org
Gardner, Philippa (ed.) et al., CONCUR 2004 – concurrency theory. 15th international conference, London, UK, August 31 – September 3, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22940-X/pbk). Lecture Notes in Computer Science 3170, 1-15 (2004).
MSC:  68N30 68Q60 68Q85
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Author
Classification
Software