Updates, Schema Updates and Validation of XML Documents - Using Abstract State Machines with Automata-Defined States

Authors Klaus-Dieter Schewe
B. Thalheim
Q. Wang
Title Updates, Schema Updates and Validation of XML Documents - Using Abstract State Machines with Automata-Defined States
Type article
Journal Journal of Universal Computer Science
Number 10
Volume 15
Month October
Year 2009
Pages 2028-2057