Sandeep Kumar. Specification mining in concurrent and distributed systems. In Richard N. Taylor, Harald Gall, Nenad Medvidovic, editors, Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011. pages 1086-1089, ACM, 2011. [doi]
Abstract is missing.