Efficient Verification of Symmetric Concurrent Systems (1993)

Cached

Download Links

by C. Norris Ip , David L. Dill
Citations:21 - 6 self