×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

Braberman, Víctor (ed.) et al., Formal modeling and analysis of timed systems. 11th international conference, FORMATS 2013, Buenos Aires, Argentina, August 29–31, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40228-9/pbk). Lecture Notes in Computer Science 8053, 137-151 (2013).
BibTeX Cite
Full Text: DOI
WorldCat.org
Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 271-282 (2011).
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software