scientific article

zbMath0986.68083MaRDI QIDQ2766568

Antti Valmari, Lars Michael Kristensen

Publication date: 17 June 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (2)

Question-guided stubborn set methods for state properties ⋮ On stubborn sets in the verification of linear time temporal properties

This page was built for publication: