%0 Journal Article %1 journals/tjs/BowenJ01 %A Bowen, Jonathan P. %A He, Jifeng %D 2001 %J The Journal of Supercomputing %K Compilation Hardware Specification Verification formal methods myown %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 = {2011-08-01T19:30:10.000+0200}, author = {Bowen, Jonathan P. and He, Jifeng}, biburl = {https://www.bibsonomy.org/bibtex/2f7087d87059e0b75241a4242f00b5f73/jpbowen}, ee = {http://dx.doi.org/10.1023/A:1011184310224}, interhash = {7138b4ec893eff849df22ef68cf11cc7}, intrahash = {f7087d87059e0b75241a4242f00b5f73}, journal = {The Journal of Supercomputing}, keywords = {Compilation Hardware Specification Verification formal methods myown}, number = 1, pages = {23-39}, timestamp = {2011-08-01T19:30:10.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 }