-
Selection by year
-
Selection by authors
-
Complete lists
GMSZ08
B. Genest, A. Muscholl, O. Serre, M. Zeitoun. Tree Pattern Rewrite Systems. In 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), LNCS, Volume 5311, Pages 332-346, Seoul, Korea, October 2008.
Contact
Blaise Genest http://perso.crans.org/~genest/
BibTex Reference
@InProceedings{GMSZ08,
Author = {Genest, B. and Muscholl, A. and Serre, O. and Zeitoun, M.},
Title = {Tree Pattern Rewrite Systems},
BookTitle = {6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08)},
Volume = {5311},
Pages = {332--346},
Series = {LNCS},
Address = {Seoul, Korea},
Month = {October},
Year = {2008}
}
EndNote Reference [help]
Get EndNote Reference (.ref)