by Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
Reference:
Progress on the State Explosion Problem in Model CheckingEdmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut VeithInformatics - 10 Years Back. 10 Years Ahead. (Reinhard Wilhelm, ed.), pages 176–194, 2001, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/dagstuhl/ClarkeGJLV01,
author = {Edmund M. Clarke and Orna Grumberg and Somesh Jha and Yuan Lu and Helmut Veith},
title = {Progress on the State Explosion Problem in Model Checking},
year = {2001},
booktitle = {Informatics - 10 Years Back. 10 Years Ahead.},
editor = {Reinhard Wilhelm},
pages = {176--194},
publisher = {Springer},
isbn = {3-540-41635-8},
url = {http://link.springer.de/link/service/series/0558/bibs/2000/20000176.htm}
}