BITS Darshini: A Modular, Concurrent Protocol Analyzer Workbench.

Prasad Talasila, Mihir Kakrambe, Anurag Rai, Sebastin Santy, Neena Goveas, Bharat M. Deshpande

Browse the full ICDCN paper archive.