×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–9)

100
MathJax
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 185-196 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Braga, Christiano (ed.) et al., Formal methods: foundations and applications. 17th Brazilian symposium, SBMF 2014, Maceió, AL, Brazil, September 29 – October 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-15074-1/pbk). Lecture Notes in Computer Science 8941, 17-31 (2015).
PDF BibTeX XML Cite
Full Text: DOI