A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces

Abstract
No abstract available

This publication has 1 reference indexed in Scilit: