×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

100
MathJax
Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 358-372 (2011).
MSC:  68Q85 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 347-358, electronic only (2009).
MSC:  68Q85 68Q25
PDF BibTeX XML Cite
Full Text: DOI Link
Halava, Vesa (ed.) et al., Proceedings of the 2nd workshop on reachability problems in computational models (RP 2008), Liverpool, UK, September 15–17, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 223, 215-237 (2008).
MSC:  68Q85 68Q17 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Author
Year of Publication
Classification