%0 Conference Proceedings
%F Fernandez-Mounier-90
%A Fernandez, Jean-Claude
%A Mounier, Laurent
%T Verifying Bisimulations ``On the Fly''
%B Proceedings of the 3rd International Conference on Formal Description Techniques {FORTE}'90 (Madrid, Spain)
%E Quemada, Juan
%E Manas, José
%E V\'azquez, Enrique
%I North Holland
%U http://www-verimag.imag.fr/PEOPLE/mounier/Papers/Fernandez-Mounier-90.pdf
%8 November
%D 1990
%K Model-based verification techniques