%0 Conference Paper %1 conf/async/BrownLO94 %A Brown, Geoffrey %A Luk, Wayne %A O'Leary, John %B ASYNC %D 1994 %I IEEE %K dblp %P 54-63 %T Retargeting a hardware compiler proof using protocol converters. %U http://dblp.uni-trier.de/db/conf/async/async1994.html#BrownLO94 %@ 0-8186-6210-7

@inproceedings{conf/async/BrownLO94, added-at = {2017-05-23T00:00:00.000+0200}, author = {Brown, Geoffrey and Luk, Wayne and O'Leary, John}, biburl = {https://www.bibsonomy.org/bibtex/266d75da8c7c4bc6fe41110d2617a4f94/dblp}, booktitle = {ASYNC}, crossref = {conf/async/1994}, ee = {https://doi.org/10.1109/ASYNC.1994.656286}, interhash = {39a322f9e5aa7eb50fac93d24b5dc461}, intrahash = {66d75da8c7c4bc6fe41110d2617a4f94}, isbn = {0-8186-6210-7}, keywords = {dblp}, pages = {54-63}, publisher = {IEEE}, timestamp = {2019-10-17T16:06:00.000+0200}, title = {Retargeting a hardware compiler proof using protocol converters.}, url = {http://dblp.uni-trier.de/db/conf/async/async1994.html#BrownLO94}, year = 1994 }