×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–3)

Najm, Elie (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46219-4/pbk). Lecture Notes in Computer Science 4229, 356-371 (2006).
MSC:  68Q60 68Q85
BibTeX Cite
Full Text: DOI
WorldCat.org
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, 408-412 (2005).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software