%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