Efficient verification of symmetric concurrent systems (1993)

by C N Ip, D L Dill
Venue:in Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD ’93