Verisim: Formal Analysis of Network Simulations (bibtex)
by Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
Reference:
Verisim: Formal Analysis of Network Simulations (Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan), In IEEE Transactions on Software Engineering (TSE), volume 28, 2002.
Bibtex Entry:
@string{tse="IEEE Transactions on Software Engineering (TSE)"}
@article{DBLP:journals/tse/BhargavanGKLOSV02,
  author    = {Karthikeyan Bhargavan and
               Carl A. Gunter and
               Moonjoo Kim and
               Insup Lee and
               Davor Obradovic and
               Oleg Sokolsky and
               Mahesh Viswanathan},
  title     = {Verisim: Formal Analysis of Network Simulations},
  journal   = tse,
  volume    = {28},
  number    = {2},
  year      = {2002},
  pages     = {129-145},
url="pubs/verisim-tse02.pdf",
pdf="pubs/verisim-tse02.pdf",

}