Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante. Tree Automata to Verify XML Key Constraints. In Vassilis Christophides, Juliana Freire, editors, International Workshop on Web and Databases, San Diego, California, June 12-13, 2003. pages 37-42, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.