×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Fränzle, Martin (ed.) et al., Formal modeling and analysis of timed systems. 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24–26, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-44877-0/pbk; 978-3-319-44878-7/ebook). Lecture Notes in Computer Science 9884, 105-120 (2016).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI
WorldCat.org
Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 209-224 (2011).
MSC:  68Q45
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software