zbMATH — the first resource for mathematics

Found 6 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. Lect. Notes Comput. Sci. 9884, 105-120 (2016).
MSC:  68Q60 03B70
BibTeX Cite
Full Text: DOI
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 297-310 (2015).
MSC:  91A43 91A05 68W40
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication