×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 61-70 (2016).
MSC:  93C30 93D05
BibTeX Cite
Full Text: DOI
Bojańczyk, Mikołaj (ed.) et al., Reachability problems. 9th international workshop, RP 2015, Warsaw, Poland, September 21–23, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24536-2/pbk; 978-3-319-24537-9/ebook). Lecture Notes in Computer Science 9328, 63-75 (2015).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI

Filter Results by …

Reviewing State
Author
Year of Publication
Classification
Software