Login / Signup

Symbolic Bisimulation Minimisation.

Amar BoualiRobert de Simone
Published in: CAV (1992)
Keyphrases