Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti
What lies between design intent coverage and model checking?
DATE, 2006.
@inproceedings{DATE-2006-DasBDC,
author = "Sayantan Das and Prasenjit Basu and Pallab Dasgupta and P. P. Chakrabarti",
booktitle = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1131817",
pages = "1217--1222",
publisher = "{European Design and Automation Association, Leuven, Belgium}",
title = "{What lies between design intent coverage and model checking?}",
year = 2006,
}