%0 Journal Article %1 journals/tse/BhargavanGKLOSV02 %A Bhargavan, Karthikeyan %A Gunter, Carl A. %A Kim, Moonjoo %A Lee, Insup %A Obradovic, Davor %A Sokolsky, Oleg %A Viswanathan, Mahesh %D 2002 %J IEEE Trans. Software Eng. %K dblp %N 2 %P 129-145 %T Verisim: Formal Analysis of Network Simulations. %U http://dblp.uni-trier.de/db/journals/tse/tse28.html#BhargavanGKLOSV02 %V 28

@article{journals/tse/BhargavanGKLOSV02, added-at = {2023-06-15T00:00:00.000+0200}, author = {Bhargavan, Karthikeyan and Gunter, Carl A. and Kim, Moonjoo and Lee, Insup and Obradovic, Davor and Sokolsky, Oleg and Viswanathan, Mahesh}, biburl = {https://www.bibsonomy.org/bibtex/261d2edeb81615872643ef308b93cafa3/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.988495}, interhash = {19a15754bd1708cf685f80cebf98253c}, intrahash = {61d2edeb81615872643ef308b93cafa3}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 2, pages = {129-145}, timestamp = {2024-04-08T21:08:37.000+0200}, title = {Verisim: Formal Analysis of Network Simulations.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse28.html#BhargavanGKLOSV02}, volume = 28, year = 2002 }