Skip to content

Regular Inference for State Machines with Parameters.

Therese Berg, Bengt Jonsson, Harald Raffelt

VenueBFASE
Year2006
ProceedingsFASE

Browse the full FASE paper archive.