1. Counter‐example generation procedure for path‐based equivalence checkers. Issue 4 (1st August 2019) Authors: Chouksey, Ramanuj; Karfa, Chandan; Banerjee, Kunal; Kalita, Pankaj Kumar; Bhaduri, Purandar Journal: IET software Issue: Volume 13:Issue 4(2019) Page Start: 280 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗