Login / Signup

On-the-fly state space reductions for weak equivalences.

Radu Mateescu
Published in: FMICS (2005)
Keyphrases