%0 Conference Paper %1 conf/fmsp/PenixMFRAW98 %A Penix, John %A Martin, Dale E. %A Frey, Peter %A Radhakrishnan, Ramanan %A Alexander, Perry %A Wilsey, Philip A. %B FMSP %D 1998 %E Ardis, Mark A. %E Atlee, Joanne M. %I ACM %K dblp %P 16-23 %T Experiences in verifying parallel simulation algorithms. %U http://dblp.uni-trier.de/db/conf/fmsp/fmsp1998.html#PenixMFRAW98 %@ 0-89791-954-8

@inproceedings{conf/fmsp/PenixMFRAW98, added-at = {2018-11-06T00:00:00.000+0100}, author = {Penix, John and Martin, Dale E. and Frey, Peter and Radhakrishnan, Ramanan and Alexander, Perry and Wilsey, Philip A.}, biburl = {https://www.bibsonomy.org/bibtex/22d1511f35893d57e1abeffb1e3ae2d2a/dblp}, booktitle = {FMSP}, crossref = {conf/fmsp/1998}, editor = {Ardis, Mark A. and Atlee, Joanne M.}, ee = {https://doi.org/10.1145/298595.298600}, interhash = {fd595c180c22c3eb1bc9b17752690f64}, intrahash = {2d1511f35893d57e1abeffb1e3ae2d2a}, isbn = {0-89791-954-8}, keywords = {dblp}, pages = {16-23}, publisher = {ACM}, timestamp = {2018-11-07T14:15:14.000+0100}, title = {Experiences in verifying parallel simulation algorithms.}, url = {http://dblp.uni-trier.de/db/conf/fmsp/fmsp1998.html#PenixMFRAW98}, year = 1998 }