Inferring Canonical Register Automata.

Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel

Browse the full VMCAI paper archive.