Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter. An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol. In HICSS. 1999. [doi]
No reviews for this publication, yet.