zbMATH — the first resource for mathematics

Found 13 Documents (Results 1–3)

Abate, Alessandro (ed.) et al., Formal modeling and analysis of timed systems. 15th international conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-65764-6/pbk; 978-3-319-65765-3/ebook). Lecture Notes in Computer Science 10419, 3-21 (2017).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI
Lecture Notes in Computer Science. 2142. Berlin: Springer. xii, 615 p. (2001).
MSC:  00B25 68-06 03-06
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication