Constructing Minimal Coverability Sets

DOI10.1007/978-3-642-41036-9_17zbMath1355.68195OpenAlexW2198099859MaRDI QIDQ5168524

Antti Valmari, Artturi Piipponen

Publication date: 7 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-41036-9_17

zbMATH Keywords

Tarjan's algorithmcoverability setantichain data structure

Mathematics Subject Classification ID

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

This page was built for publication: Constructing Minimal Coverability Sets