John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey. Experiences in verifying parallel simulation algorithms. In Mark A. Ardis, Joanne M. Atlee, editors, Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA. pages 16-23, ACM, 1998. [doi]
No references recorded for this publication.
No citations of this publication recorded.