Constraint Automata on Infinite Data Trees: from CTL(ℤ)/ CTL^*}(ℤ) to Decision Procedures.

Stphane Demri, Karin Quaas

Browse the full CONCUR paper archive.