BGK02.bib
BGK02.bib
—
Bibtex bibliographic data,
342 bytes
File contents
@article{BGK02,
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",
journal = "IEEE Transactions on Software Engineering (TSE)",
volume=28,
number=2,
pages="129--145",
year="2002",
month="February"
}
