×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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, 35-50 (2016).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI
WorldCat.org
Probst, Christian W. (ed.) et al., Semantics, logics, and calculi. Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Cham: Springer (ISBN 978-3-319-27809-4/pbk; 978-3-319-27810-0/ebook). Lecture Notes in Computer Science 9560, 88-110 (2016).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Classification