Login / Signup
On Validation of XML Streams Using Finite State Machines.
Cristiana Chitic
Daniela Rosu
Published in:
WebDB (2004)
Keyphrases
</>
finite state automata
xml streams
finite state machines
model checking
fixpoint
hidden markov models
relational databases
regular expressions