A Parallel Algorithm for State Assignment of Finite State Machines.

Gagan Hasteer, Prithviraj Banerjee

Browse the full ICPP paper archive.