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

by J Fernandez, L Mounier
Venue:CAV, volume 575 of LNCS