Confirming configurations in EFSM.

Alexandre Petrenko, Sergiy Boroday, Roland Groz

Browse the full FORTE paper archive.