%0 Conference Proceedings
%F Fernandez-Kerbrat-Mounier-93
%A Fernandez, J.C.
%A Kerbrat, A.
%A Mounier, L.
%T Symbolic Equivalence Checking
%B Proceedings of the 5th Workshop on Computer-Aided Verification (Heraklion, Greece)
%E Courcoubetis, C.
%V 697
%S LNCS
%I Springer-Verlag
%U http://www-verimag.imag.fr/PEOPLE/mounier/Papers/Fernandez-Kerbrat-Mounier-93.pdf
%8 June
%D 1993
%K Model-based verification techniques