Login / Signup

A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces.

Stefan BlomSimona Orzan
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases