"On the Fly" Verification of Behavioural Equivalences and Preorders.

Jean-Claude Fernandez, Laurent Mounier

Browse the full CAV paper archive.