%0 Conference Paper %1 conf/aintec/AroraRR15 %A Arora, Shiraj %A Rathor, Ankit %A Rao, M. V. Panduranga %B AINTEC %D 2015 %I ACM %K dblp %P 62-68 %T Statistical Model Checking of Opportunistic Network Protocols. %U http://dblp.uni-trier.de/db/conf/aintec/aintec2015.html#AroraRR15 %@ 978-1-4503-3914-8

@inproceedings{conf/aintec/AroraRR15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Arora, Shiraj and Rathor, Ankit and Rao, M. V. Panduranga}, biburl = {https://www.bibsonomy.org/bibtex/295c1444ad331832354afaecac2fadeb9/dblp}, booktitle = {AINTEC}, crossref = {conf/aintec/2015}, ee = {https://doi.org/10.1145/2837030.2837039}, interhash = {1172305637d355ea2d753527cba31580}, intrahash = {95c1444ad331832354afaecac2fadeb9}, isbn = {978-1-4503-3914-8}, keywords = {dblp}, pages = {62-68}, publisher = {ACM}, timestamp = {2018-11-07T13:53:56.000+0100}, title = {Statistical Model Checking of Opportunistic Network Protocols.}, url = {http://dblp.uni-trier.de/db/conf/aintec/aintec2015.html#AroraRR15}, year = 2015 }