%0 Journal Article 
%F Bozga-Fernandez-Ghirvu-Jard-Jeron-Kerbrat-Morel-Mounier-SCP2000
%A Bozga, M.
%A Fernandez, J.-C.
%A Ghirvu, L.
%A Jard, C.
%A Jéron, T.
%A Kerbrat, A.
%A Morel, P.
%A Mounier, L.
%T Verification and test generation for the SSCOP protocol
%J Journal of Science of Computer Programming, special issue on Formal Methods in Industry
%E Gnesi, S.
%E Cuellor, J. R.
%E Latella, D.
%V 36
%N 1
%P 27-52
%I Elsevier Science B. V
%U http://www.irisa.fr/vertecs/Publis/Ps/2000-SCP.pdf
%8 January
%D 2000