Verification Techniques for Distributed Algorithms.

Anna Philippou George Michael Verification Techniques for Distributed Algorithms. 172-186 2006 conf/opodis/2006 OPODIS http://dx.doi.org/10.1007/11945529_13 db/conf/opodis/opodis2006.html#PhilippouM06