Structural Counter Abstraction

DOI10.1007/978-3-642-36742-7_5zbMath1381.68194OpenAlexW193449614MaRDI QIDQ5326315

Damien Zufferey, Eric Koskinen, Kshitij Bansal, Thomas Wies

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36742-7_5

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Directed reachability for infinite-state systems ⋮ Well-structured graph transformation systems

This page was built for publication: Structural Counter Abstraction