On the Fly" veri cation of behavioural equivalences and preorders (1992)

by J-C Fernandez, L Mounier
Venue:Proc. 3rd Workshop Computer Aided Veri cation, volume 575 of Lect. Notes in Comp. Sci