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

Autoren Klaus-Dieter Schewe
B. Thalheim
Q. Wang
Titel Updates, Schema Updates and Validation of XML Documents - Using Abstract State Machines with Automata-Defined States
Typ Artikel
Journal Journal of Universal Computer Science
Nummer 10
Band 15
Monat October
Jahr 2009
Seiten 2028-2057