Jump to : Contact | BibTex reference | EndNote reference |

GMW10

B. Genest, A. Muscholl, Z. Wu. Verifying Recursive Active Documents with Positive Data Tree Rewriting. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), Kamal Lodaya, Meena Mahajan (eds.), Leibniz International Proceedings in Informatics (LIPIcs), Keywords: Active documents, Guarded Active XML, verification, data trees, tree rewriting, well-structured systems, Volume 8, Pages 469-480, Dagstuhl, Germany, 2010.

Contact

Blaise Genest http://perso.crans.org/~genest/

BibTex Reference

@InProceedings{GMW10,
   Author = {Genest, B. and Muscholl, A. and Wu, Z.},
   Title = {{Verifying Recursive Active Documents with Positive Data Tree Rewriting}},
   BookTitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)},
   editor = {Lodaya, Kamal and Mahajan, Meena},
   Volume = {8},
   Pages = {469--480},
   Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
   Publisher = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
   Address = {Dagstuhl, Germany},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)