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
Aitchison, Iain R. The geometry of oriented cubes. arXiv:1008.1714 Preprint, arXiv:1008.1714 [math.CT] (2010). MSC: 18D05 52B22 57Q15 18G50 52C35 68Q42 68Q85 68R05 BibTeX Cite \textit{I. R. Aitchison}, ``The geometry of oriented cubes'', Preprint, arXiv:1008.1714 [math.CT] (2010) Full Text: arXiv OA License