Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
Verisim: Formal analysis of network simulations
ISSTA, 2000.
@inproceedings{ISSTA-2000-BhargavanGKLOSV,
author = "Karthikeyan Bhargavan and Carl A. Gunter and Moonjoo Kim and Insup Lee and Davor Obradovic and Oleg Sokolsky and Mahesh Viswanathan",
booktitle = "{Proceedings of the International Symposium on Software Testing and Analysis}",
doi = "10.1145/347324.347833",
pages = "2--13",
publisher = "{ACM}",
title = "{Verisim: Formal analysis of network simulations}",
year = 2000,
}