×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 131-141 (2009).
MSC:  68Q45 68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org
van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 67-81 (2008).
MSC:  68Q45
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Year of Publication
Classification