%0 Conference Paper %1 conf/charme/JifengPB93 %A He, Jifeng %A Page, Ian %A Bowen, Jonathan P. %B CHARME %D 1993 %E Milne, George J. %E Pierre, Laurence %I Springer %K dblp %P 214-225 %T Towards a Provably Correct Hardware Implementation of Occam. %U http://dblp.uni-trier.de/db/conf/charme/charme1993.html#JifengPB93 %V 683 %@ 3-540-56778-X

@inproceedings{conf/charme/JifengPB93, added-at = {2022-03-21T00:00:00.000+0100}, author = {He, Jifeng and Page, Ian and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2061df606b06db1c669998b6ef40c6353/dblp}, booktitle = {CHARME}, crossref = {conf/charme/1993}, editor = {Milne, George J. and Pierre, Laurence}, ee = {https://www.wikidata.org/entity/Q56940483}, interhash = {d0004b1ee98cf809eb6f5544eb2da4ad}, intrahash = {061df606b06db1c669998b6ef40c6353}, isbn = {3-540-56778-X}, keywords = {dblp}, pages = {214-225}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:59:15.000+0200}, title = {Towards a Provably Correct Hardware Implementation of Occam.}, url = {http://dblp.uni-trier.de/db/conf/charme/charme1993.html#JifengPB93}, volume = 683, year = 1993 }