Publication:2766568
From MaRDI portal
zbMath0986.68083MaRDI QIDQ2766568
Antti Valmari, Lars Michael Kristensen
Publication date: 17 June 2002
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Question-guided stubborn set methods for state properties, On stubborn sets in the verification of linear time temporal properties