scientific article; zbMATH DE number 2016064
From MaRDI portal
Publication:4438762
zbMath1028.68089MaRDI QIDQ4438762
Publication date: 10 December 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2505/25050014.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items (8)
Unfolding Graph Transformation Systems: Theory and Applications to Verification ⋮ Explicit State Model Checking for Graph Grammars ⋮ Verification of graph grammars using a logical approach ⋮ Abstracting Complex Data Structures by Hyperedge Replacement ⋮ A framework for the verification of infinite-state graph transformation systems ⋮ Formal Verification of Graph Grammars using Mathematical Induction ⋮ Towards automated software model checking using graph transformation systems and bogor ⋮ Verification of Random Graph Transformation Systems
This page was built for publication:
