Automata based verification over linearly ordered data domains.

Luc Segoufin, Szymon Torunczyk

Browse the full STACS paper archive.