×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–5)

100
MathJax
Chatterjee, Krishnendu (ed.) et al., Mathematical foundations of computer science 2013. 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40312-5/pbk). Lecture Notes in Computer Science 8087, 302-313 (2013).
MSC:  68Q85 68Q25
PDF BibTeX XML Cite
Full Text: DOI
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, 434-446 (2008).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Bradfield, Julian (ed.) et al., Proceedings of the 6th international workshop on verification of infinite-state systems (INFINITY 2004), London, UK, September 4, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 138, No. 3, 49-60 (2005).
MSC:  68Q85 68Q25
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication
Classification