%O Generic 
%F Jard-Jeron-FM99
%A Jard, C.
%A Jéron, T.
%T Test Generation for Reactive Systems
%I FM'99: World Congress on Formal Methods in the development of computing systems, Toulouse, France, Industrial Tutorial: Testing & Formal Methods
%8 September
%D 1999