On the computational complexity of bisimulation, redux

Faron Moller, Scott A. Smolka, JirĂ­ Srba. On the computational complexity of bisimulation, redux. Inf. Comput., 194(2):129-143, 2004. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: