%0 Journal Article 
%F 341986
%A Bozga, Marius
%A Fernandez, Jean-Claude
%A Ghirvu, Lucian
%A Jard, Claude
%A Jéron, Thierry
%A Kerbrat, Alain
%A Morel, Pierre
%A Mounier, Laurent
%T Verification and test generation for the SSCOP protocol
%J Sci. Comput. Program
%V 36
%N 1
%P 27-52
%I Elsevier North-Holland, Inc
%C Amsterdam, The Netherlands, The Netherlands
%U http://www-verimag.imag.fr/PEOPLE/mounier/Papers/Bozga-Fernandez-Ghirvu-98a.pdf
%U http://dx.doi.org/10.1016/S0167-6423(99)00017-9
%D 2000
%K Model-based verification techniques