BGK00.bib
BGK00.bib
—
Bibtex bibliographic data,
373 bytes
File contents
@InProceedings{BGK00,
author={K.~Bhargavan and C.~A.~Gunter and M.~Kim and I.~Lee and D.~Obradovic and O.~Sokolsky and M.~Viswanathan},
title="Verisim: Formal Analysis of Network Simulations",
booktitle="ACM International Symposium on Software Testing and Analysis (ISSTA)",
pages="2--13",
year=2000,
month="August 22-24",
address="Portland, Oregon, USA"
}
