Progress on the State Explosion Problem in Model Checking (bibtex)
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}
}
Powered by bibtexbrowser