Towards Abstraction-Based Verification of Shape Calculus
DOI10.1016/j.entcs.2012.05.013zbMath1283.68235OpenAlexW2027217686WikidataQ113318113 ScholiaQ113318113MaRDI QIDQ5404093
Federico Buti, Maria Rita Di Berardini, Emanuela Merelli, Massimo Callisto de Donato, Luca Tesei, Flavio Corradini
Publication date: 21 March 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2012.05.013
Computational aspects related to convexity (52B55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)
Uses Software
Cites Work
This page was built for publication: Towards Abstraction-Based Verification of Shape Calculus