-
Selection by year
-
Selection by authors
-
Complete lists
ployette07
F. Ployette, B. Jeannet, T. Jéron. Stg: a symbolic test generation tool for reactive systems. TESTCOM/FATES07 (Tool Paper), Tallinn, Estonia, June 2007.
Contact
Thierry Jéron http://www.irisa.fr/prive/jeron
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)