Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi. Dos and don ts of CTL state coverage estimation. In Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003. pages 292-295, ACM, 2003. [doi]
Abstract is missing.