Jump to : Contact | BibTex reference | EndNote reference |

Contact

Bertrand Jeannet
Bertrand.Jeannet@irisa.fr

Thierry Jéron
Thierry.Jeron@irisa.fr

Vlad Rusu
Vlad.Rusu@irisa.fr

BibTex Reference

@InProceedings{JJR-FMCO-06,
   Author = {Jeannet, B. and Jéron, T. and Rusu, V.},
   Title = {Model-based test selection for infinite state reactive systems},
   BookTitle = {{Formal Methods of Components and Objects - FMCO 2006, Amsterdam, Netherlands, Revised Lectures}},
   editor = {de Boer, F.S and Bonsangue, M.M. and Graf, S. and de Roever, W.-P.},
   Volume = {    4709},
   Pages = {47--69},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-Verlag},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)