Prasad Talasila, Mihir Kakrambe, Anurag Rai, Sebastin Santy, Neena Goveas, Bharat M. Deshpande. BITS Darshini: A Modular, Concurrent Protocol Analyzer Workbench. In Paolo Bellavista, Vijay K. Garg, editors, Proceedings of the 19th International Conference on Distributed Computing and Networking, ICDCN 2018, Varanasi, India, January 4-7, 2018. ACM, 2018. [doi]
@inproceedings{TalasilaKRSGD18,
title = {BITS Darshini: A Modular, Concurrent Protocol Analyzer Workbench},
author = {Prasad Talasila and Mihir Kakrambe and Anurag Rai and Sebastin Santy and Neena Goveas and Bharat M. Deshpande},
year = {2018},
doi = {10.1145/3154273.3154316},
url = {http://doi.acm.org/10.1145/3154273.3154316},
researchr = {https://researchr.org/publication/TalasilaKRSGD18},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 19th International Conference on Distributed Computing and Networking, ICDCN 2018, Varanasi, India, January 4-7, 2018},
editor = {Paolo Bellavista and Vijay K. Garg},
publisher = {ACM},
isbn = {978-1-4503-6372-3},
}