A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations.

Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen

Browse the full ATVA paper archive.