Frehse, Goran; Kateja, Rajat; Le Guernic, Colas 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 \textit{G. Frehse} et al., in: 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). 203--212 (2013; Zbl 1362.93015) Full Text: DOI
Buti, F.; Callisto De Donato, M.; Corradini, F.; Di Berardini, M. R.; Merelli, E.; Tesei, L. 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 \textit{F. Buti} et al., Electron. Notes Theor. Comput. Sci. 284, 23--34 (2012; Zbl 1283.68235) Full Text: DOI