%0 Conference Paper %1 conf/iccad/HenzingerLQR99 %A Henzinger, Thomas A. %A Liu, Xiaojun %A Qadeer, Shaz %A Rajamani, Sriram K. %B ICCAD %D 1999 %E White, Jacob K. %E Sentovich, Ellen %I IEEE Computer Society %K dblp %P 494-499 %T Formal specification and verification of a dataflow processor array. %U http://dblp.uni-trier.de/db/conf/iccad/iccad1999.html#HenzingerLQR99 %@ 0-7803-5832-5

@inproceedings{conf/iccad/HenzingerLQR99, added-at = {2023-03-24T00:00:00.000+0100}, author = {Henzinger, Thomas A. and Liu, Xiaojun and Qadeer, Shaz and Rajamani, Sriram K.}, biburl = {https://www.bibsonomy.org/bibtex/2a5b8cddfff1eb7fd2d85689a70b83cd8/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/1999}, editor = {White, Jacob K. and Sentovich, Ellen}, ee = {http://dl.acm.org/citation.cfm?id=339492.340066}, interhash = {1b05ac21f13cb889e9b7609c86b6830e}, intrahash = {a5b8cddfff1eb7fd2d85689a70b83cd8}, isbn = {0-7803-5832-5}, keywords = {dblp}, pages = {494-499}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T19:27:40.000+0200}, title = {Formal specification and verification of a dataflow processor array.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1999.html#HenzingerLQR99}, year = 1999 }