×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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, 47-61 (2013).
BibTeX Cite
Full Text: DOI
WorldCat.org
Ouaknine, Joël (ed.) et al., Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04367-3/pbk). Lecture Notes in Computer Science 5813, 133-148 (2009).
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification