David A. Bader, Kamesh Madduri. A Parallel State Assignment Algorithm for Finite State Machines. In Luc Bougé, Viktor K. Prasanna, editors, High Performance Computing - HiPC 2004, 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings. Volume 3296 of Lecture Notes in Computer Science, pages 297-308, Springer, 2004. [doi]
Abstract is missing.