Comparing Generic State Machines.

Michel Langevin, Eduard Cerny

Browse the full CAV paper archive.