%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 VST4WSN formal model_checking runtime_checking simulations wsn %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 = {2010-04-20T15:26:03.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/davef}, date = {2003-11-19}, description = {dblp}, ee = {http://www.computer.org:80/tse/ts2002/e0129abs.htm}, interhash = {19a15754bd1708cf685f80cebf98253c}, intrahash = {61d2edeb81615872643ef308b93cafa3}, journal = {IEEE Trans. Software Eng.}, keydf = {VST4WSN5}, keywords = {VST4WSN formal model_checking runtime_checking simulations wsn}, number = 2, pages = {129-145}, priority = {1}, timestamp = {2010-04-20T15:26:03.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 }