Sign in

On the computational complexity of bisimulation, redux.

Faron MollerScott A. SmolkaJirí Srba
Published in: Inf. Comput. (2004)
Keyphrases