Efficient Verification of Symmetric Concurrent Systems.

C. Norris Ip, David L. Dill

Browse the full ICCD paper archive.