%0 Conference Proceedings
%F jeron08
%A Jéron, Th.
%T Symbolic Model-based Test Selection
%B Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008)
%V 40
%P 167-184
%S Electronic Notes in Theoretical Computer Science
%I Springer
%U http://dx.doi.org/10.1016/j.entcs.2009.05.051
%D 2009