%0 Conference Proceedings
%F JJR-FMCO-07
%A Jeannet, B.
%A Jéron, T.
%A Rusu, V.
%T Model-based test selection for infinite state reactive systems
%B {Formal Methods of Components and Objects, FMCO'06, Revised Lectures}
%E de Boer, F.S
%E Bonsangue, M.M.
%E Graf, S.
%E de Roever, W.-P.
%V 4709
%P 47-69
%S Lecture Notes in Computer Science
%I Springer-Verlag
%D 2007