C. Jard, T. Jéron, Test Generation for Reactive Systems, FM'99: World Congress on Formal Methods in the development of computing systems, Toulouse, France, Industrial Tutorial: Testing & Formal Methods, September 1999.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Thierry Jéron
Thierry.Jeron@irisa.fr

BibTex Reference

@Misc{Jard-Jeron-FM99,
   Author = {Jard, C. and Jéron, T.},
   Title = {Test Generation for Reactive Systems},
   Howpublished = {FM'99: World Congress on Formal Methods in the development of computing systems, Toulouse, France, Industrial Tutorial: Testing & Formal Methods},
   Month = {September},
   Year = {1999}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.