On the fly verification of behavioural equivalences and preorders (1991)

by J-C Fernandez, L Mounier
Venue:In Proc. CAV'91, LNCS 575