State Assignment for Detecting Erroneous Transitions in Finite State Machines.

Markus Damm

Browse the full DSD paper archive.