The State Explosion Problem from Trace to Bisimulation Equivalence.

Franois Laroussinie, Philippe Schnoebelen

Browse the full FOSSACS paper archive.