%0 Journal Article 
%F CJ-RI21
%A Jard, C.
%A Jéron, T.
%T TGV: theory, principles and algorithms. A tool for the automatic 	synthesis of conformance test cases for non-deterministic reactive 	systems
%J Software Tools for Technology Transfer
%U http://www.irisa.fr/distribcom/Personal_Pages/jard/Publis/Jard_RI21.pdf
%D 2004
%K Monitoring