×

Found 2 Documents (Results 1–2)

Flowpipe approximation and clustering in space-time. (English) Zbl 1362.93015

Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 203-212 (2013).
MSC:  93B03 52A20 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Towards abstraction-based verification of shape calculus. (English) Zbl 1283.68235

Feret, Jérôme (ed.) et al., Proceedings of the 2nd international workshop on static analysis and systems biology (SASB 2011), Venice, Italy, September 13, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 284, 23-34 (2012).
MSC:  68Q85 52B55 92C42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

all top 3

Main Field

Software