Regular Inference for State Machines Using Domains with Equality Tests.

Therese Berg, Bengt Jonsson, Harald Raffelt

Browse the full FASE paper archive.