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

Autoren Klaus-Dieter Schewe
B. Thalheim
Q. Wang
TitelUpdates, Schema Updates and Validation of XML Documents - Using Abstract State Machines with Automata-Defined States
TypArtikel
JournalJournal of Universal Computer Science
Nummer10
Band15
MonatOctober
Jahr2009
Seiten2028-2057