Using Combinatorial Optimization Methods for Quantification Scheduling (bibtex)
by Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang
Reference:
Using Combinatorial Optimization Methods for Quantification SchedulingPankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong WangCorrect Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings (Tiziana Margaria, Thomas F. Melham, eds.), pages 293-309, 2001, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/charme/ChauhanCJKVW01,
  author = {Pankaj Chauhan and Edmund M. Clarke and Somesh Jha and James H. Kukula   and Helmut Veith and Dong Wang},
  title = {Using Combinatorial Optimization Methods for Quantification Scheduling},
  year = {2001},
  booktitle = {Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5   Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK,   September 4-7, 2001, Proceedings},
  editor = {Tiziana Margaria and Thomas F. Melham},
  pages = {293--309},
  publisher = {Springer},
  isbn = {3-540-42541-1},
  url = {http://link.springer.de/link/service/series/0558/bibs/2144/21440293.htm}
}
Powered by bibtexbrowser