Deriving bisimulation relations from path based equivalence checkers
From MaRDI portal
(Redirected from Deriving bisimulation relations from path based equivalence checkers)
WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.
