Demonstrating Learning of Register Automata.

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

Browse the full TACAS paper archive.