A Succinct Canonical Register Automaton Model.

Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen

Browse the full ATVA paper archive.