Back to Results
First PageMeta Content



Verifying a Simplification of Mutual Exclusion by Lycklama-Hadzilacos Wim H. Hesselink (whh442, February 24, 2013) Dept. of Computing Science, University of Groningen P.O.Box 407, 9700 AK Groningen, The Netherlands
Add to Reading List

Document Date: 2013-03-22 21:29:16


Open Document

File Size: 375,97 KB

Share Result on Facebook
UPDATE