scientific article; zbMATH DE number 2090850
From MaRDI portal
Publication:4813402
zbMath1067.68095MaRDI QIDQ4813402
Bernhard König, Barbara König, Paolo Baldan
Publication date: 13 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2694/26940255.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Unfolding Graph Transformation Systems: Theory and Applications to Verification ⋮ A framework for the verification of infinite-state graph transformation systems
This page was built for publication:
