%0 Conference Proceedings
%F Jeron-DIPES06
%A Jéron, Thierry
%T Model-based test selection for infinite state reactive systems
%B 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, Braga, Portugal
%I Springer SBM
%U http://www.irisa.fr/vertecs/Publis/Ps/dipes06.pdf
%8 October
%D 2006