%0 Conference Paper %1 conf/dac/JangQKP97 %A Jang, Jae-Young %A Qadeer, Shaz %A Kaufmann, Matt %A Pixley, Carl %B DAC %D 1997 %E Yoffa, Ellen J. %E Micheli, Giovanni De %E Rabaey, Jan M. %I ACM Press %K dblp %P 173-177 %T Formal Verification of FIRE: A Case Study. %U http://dblp.uni-trier.de/db/conf/dac/dac97.html#JangQKP97 %@ 0-89791-920-3

@inproceedings{conf/dac/JangQKP97, added-at = {2017-03-16T00:00:00.000+0100}, author = {Jang, Jae-Young and Qadeer, Shaz and Kaufmann, Matt and Pixley, Carl}, biburl = {https://www.bibsonomy.org/bibtex/2fc97ced2fbf0f37d39cca0ac632f1b4b/dblp}, booktitle = {DAC}, crossref = {conf/dac/1997}, editor = {Yoffa, Ellen J. and Micheli, Giovanni De and Rabaey, Jan M.}, ee = {http://doi.acm.org/10.1145/266021.266059}, interhash = {fb2343497d8e5b68eb243ed820337984}, intrahash = {fc97ced2fbf0f37d39cca0ac632f1b4b}, isbn = {0-89791-920-3}, keywords = {dblp}, pages = {173-177}, publisher = {ACM Press}, timestamp = {2017-03-17T11:40:13.000+0100}, title = {Formal Verification of FIRE: A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac97.html#JangQKP97}, year = 1997 }