%0 Journal Article %1 journals/tjs/BowenJ01 %A Bowen, Jonathan P. %A He, Jifeng %D 2001 %J J. Supercomput. %K dblp %N 1 %P 23-39 %T An Approach to the Specification and Verification of a Hardware Compilation Scheme. %U http://dblp.uni-trier.de/db/journals/tjs/tjs19.html#BowenJ01 %V 19

@article{journals/tjs/BowenJ01, added-at = {2022-04-07T00:00:00.000+0200}, author = {Bowen, Jonathan P. and He, Jifeng}, biburl = {https://www.bibsonomy.org/bibtex/21ea970a5ee9f4a5ad72746601ea74529/dblp}, ee = {https://www.wikidata.org/entity/Q56939936}, interhash = {7138b4ec893eff849df22ef68cf11cc7}, intrahash = {1ea970a5ee9f4a5ad72746601ea74529}, journal = {J. Supercomput.}, keywords = {dblp}, number = 1, pages = {23-39}, timestamp = {2024-04-08T14:35:37.000+0200}, title = {An Approach to the Specification and Verification of a Hardware Compilation Scheme.}, url = {http://dblp.uni-trier.de/db/journals/tjs/tjs19.html#BowenJ01}, volume = 19, year = 2001 }