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

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