%0 Conference Proceedings
%F Fernandez-Mounier-91-a
%A Fernandez, Jean-Claude
%A Mounier, Laurent
%T ``On the Fly'' Verification of Behavioural Equivalences and Preorders
%B Proceedings of the 3rd Workshop on Computer-Aided Verification (Aalborg, Denmark)
%E G. Larsen, K.
%U http://www-verimag.imag.fr/PEOPLE/mounier/Papers/Fernandez-Mounier-91-a.pdf
%8 July
%D 1991
%K Model-based verification techniques