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).