×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

100
MathJax
Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 153-162 (2017).
MSC:  68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Asarin, Eugene (ed.) et al., Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25–27, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45026-9/pbk). Lecture Notes in Computer Science 4202, 187-199 (2006).
MSC:  68Q45 03D35
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Year of Publication
Classification