Validation of streaming XML documents with abstract state machines.

Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang

Browse the full IIWAS paper archive.