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]
Abstract is missing.