%0 Conference Proceedings
%F Fernandez-Mounier-91-b
%A Fernandez, Jean-Claude
%A Mounier, Laurent
%T A Tool Set for Deciding Behavioral Equivalences
%B Proceedings of CONCUR'91 (Amsterdam, The Netherlands)
%U http://www-verimag.imag.fr/PEOPLE/mounier/Papers/Fernandez-Mounier-91-b.pdf
%8 August
%D 1991
%K Model-based verification techniques