Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi
Dos and don’ts of CTL state coverage estimation
DAC, 2003.
@inproceedings{DAC-2003-JayakumarPS,
author = "Nikhil Jayakumar and Mitra Purandare and Fabio Somenzi",
booktitle = "{Proceedings of the 40th Design Automation Conference}",
doi = "10.1145/775832.775908",
isbn = "1-58113-688-9",
pages = "292--295",
publisher = "{ACM}",
title = "{Dos and don’ts of CTL state coverage estimation}",
year = 2003,
}