Verification of Random Graph Transformation Systems
From MaRDI portal
Publication:2867889
DOI10.1016/j.entcs.2007.04.017zbMath1278.68179MaRDI QIDQ2867889
Publication date: 20 December 2013
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.2007.04.017
05C80: Random graphs (graph-theoretic aspects)
68R10: Graph theory (including graph drawing) in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
Related Items
A framework for the verification of infinite-state graph transformation systems, Towards the Verification of Attributed Graph Transformation Systems
Uses Software
Cites Work