Mining behavioral specifications of distributed systems - SANDEEP KUMAR (2012)
Ph.D