Blaise Genest, Anca Muscholl, Olivier Serre, Marc 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.
Blaise Genest http://www.irisa.fr/distribcom
@InProceedings{GMSZ08,
Author = {Genest, Blaise and Muscholl, Anca and Serre, Olivier and Zeitoun, Marc},
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}
}
Get EndNote Reference (.ref)