×

zbMATH — the first resource for mathematics

Found 223 Documents (Results 1–3)

Jansen, David N. (ed.) et al., Formal modeling and analysis of timed systems. 16th international conference, FORMATS 2018, Beijing, China, September 4--6, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-00150-6/pbk; 978-3-030-00151-3/ebook). Lecture Notes in Computer Science 11022, 53-70 (2018).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Biographic Reference
Software