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]
@inproceedings{PenixMFRAW98,
title = {Experiences in verifying parallel simulation algorithms},
author = {John Penix and Dale E. Martin and Peter Frey and Ramanan Radhakrishnan and Perry Alexander and Philip A. Wilsey},
year = {1998},
doi = {10.1145/298595.298600},
url = {http://doi.acm.org/10.1145/298595.298600},
tags = {e-science},
researchr = {https://researchr.org/publication/PenixMFRAW98},
cites = {0},
citedby = {0},
pages = {16-23},
booktitle = {Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA},
editor = {Mark A. Ardis and Joanne M. Atlee},
publisher = {ACM},
isbn = {0-89791-954-8},
}