A Parallel State Assignment Algorithm for Finite State Machines.

David A. Bader, Kamesh Madduri

Browse the full HiPC paper archive.