Jump to : Contact | BibTex reference | EndNote reference |

JJR-FMCO-07

B. Jeannet, T. JÚron, V. Rusu. Model-based test selection for infinite state reactive systems. In Formal Methods of Components and Objects, FMCO'06, Revised Lectures, F.S de Boer, M.M. Bonsangue, S. Graf, W.-P. de Roever (eds.), Lecture Notes in Computer Science, Volume 4709, Pages 47-69, 2007.

Contact

Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/

BibTex Reference

@InProceedings{JJR-FMCO-07,
   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'06, 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)