%0 Conference Proceedings
%F Fernandez-Garavel-Mounier-Rasse-Rodriguez-Sifakis-92
%A Fernandez, Jean-Claude
%A Garavel, Hubert
%A Mounier, Laurent
%A Rasse, Anne
%A Rodr\'\iguez, Carlos
%A Sifakis, Joseph
%T A Toolbox for the Verification of LOTOS Programs
%B Proceedings of the 14th International Conference on Software Engineering ICSE{'14} (Melbourne, Australia)
%E A. Clarke, Lori
%P 246-259
%I ACM
%U http://www-verimag.imag.fr/PEOPLE/mounier/Papers/Fernandez-Garavel-et-al-92.pdf
%8 May
%D 1992
%K Model-based verification techniques