%0 Journal Article 
%F Fernandez97
%A Fernandez, J.-C.
%A Jard, C.
%A Jéron, T.
%A Viho, G.
%T An Experiment in Automatic Generation of Conformance Test Suites for Protocols with Verification Technology
%J Science of Computer Programming
%V 29
%P 123-146
%U http://www.irisa.fr/bibli/publi/pi/1996/1035/1035.html
%D 1997