On-the-Fly Branching Bisimulation Minimization for Compositional Analysis
From MaRDI portal
Publication:5757250
Recommendations
Cited in
(5)- scientific article; zbMATH DE number 177514 (Why is no real title available?)
- Equivalence checking 40 years after: a review of bisimulation tools
- Unification and combination of a class of traversal strategies made with pattern matching and fixed-points
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
- scientific article; zbMATH DE number 177239 (Why is no real title available?)
This page was built for publication: On-the-Fly Branching Bisimulation Minimization for Compositional Analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5757250)