Verification Theories for XML Schema

Suad Alagic, Mark Royer, David Briggs. Verification Theories for XML Schema. In David A. Bell, Jun Hong, editors, Flexible and Efficient Information Handling, 23rd British National Conference on Databases, BNCOD 23, Belfast, Northern Ireland, UK, July 18-20, 2006, Proceedings. Volume 4042 of Lecture Notes in Computer Science, pages 262-265, Springer, 2006. [doi]

Authors

Suad Alagic

This author has not been identified. Look up 'Suad Alagic' in Google

Mark Royer

This author has not been identified. Look up 'Mark Royer' in Google

David Briggs

This author has not been identified. Look up 'David Briggs' in Google