scientific article; zbMATH DE number 1497783
From MaRDI portal
Publication:4499200
zbMath0958.68102MaRDI QIDQ4499200
Publication date: 5 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Equivalence checking 40 years after: a review of bisimulation tools, Optimising the ProB model checker for B using partial order reduction