Login / Signup

Distributed Branching Bisimulation Reduction of State Spaces.

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