Achieving speedups in distributed symbolic reachability analysis through asynchronous computation (1995)

by O Grumberg, T Heyman, N Ifergan, A Schuster
Venue:In Correct Hardware Design and Verification Methods (CHARME