F. Ployette, B. Jeannet, T. Jéron, Stg: a symbolic test generation tool for reactive systems, TESTCOM/FATES07 (Tool Paper), Tallinn, Estonia, June 2007.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Bertrand Jeannet
Bertrand.Jeannet@irisa.fr

Thierry Jéron
Thierry.Jeron@irisa.fr

BibTex Reference

@Misc{ployette07,
   Author = {Ployette, F. and Jeannet, B. and Jéron, T.},
   Title = {Stg: a symbolic test generation tool for reactive systems},
   Howpublished = {TESTCOM/FATES07 (Tool Paper)},
   Address = {Tallinn, Estonia},
   Month = {June},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.