%0 Journal Article 
%F Fernandez-Jard-Jeron-Mounier-92
%A Fernandez, Jean-CLaude
%A Jard, Claude
%A Jéron, Thierry
%A Mounier, Laurent
%T `On the Fly'' Verification of Finite Transition Systems
%J Formal Methods in System Design
%U http://www-verimag.imag.fr/PEOPLE/mounier/Papers/Fernandez-Jard-Jeron-Mounier-92.pdf
%D 1992
%K Model-based verification techniques