{"language":[{"iso":"eng"}],"doi":"10.1155/2010/180242","publication":"International Journal of Reconfigurable Computing","date_updated":"2022-01-06T06:50:47Z","type":"journal_article","year":"2010","intvolume":"      2010","status":"public","publisher":"Hindawi Publishing Corporation","author":[{"last_name":"Drzevitzky","full_name":"Drzevitzky, Stephanie","first_name":"Stephanie"},{"first_name":"Uwe","last_name":"Kastens","full_name":"Kastens, Uwe"},{"first_name":"Marco","id":"398","last_name":"Platzner","full_name":"Platzner, Marco"}],"volume":2010,"department":[{"_id":"78"}],"title":"Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification","_id":"10605","date_created":"2019-07-10T09:22:56Z","citation":{"bibtex":"@article{Drzevitzky_Kastens_Platzner_2010, title={Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification}, volume={2010}, DOI={<a href=\"https://doi.org/10.1155/2010/180242\">10.1155/2010/180242</a>}, journal={International Journal of Reconfigurable Computing}, publisher={Hindawi Publishing Corporation}, author={Drzevitzky, Stephanie and Kastens, Uwe and Platzner, Marco}, year={2010} }","short":"S. Drzevitzky, U. Kastens, M. Platzner, International Journal of Reconfigurable Computing 2010 (2010).","chicago":"Drzevitzky, Stephanie, Uwe Kastens, and Marco Platzner. “Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification.” <i>International Journal of Reconfigurable Computing</i> 2010 (2010). <a href=\"https://doi.org/10.1155/2010/180242\">https://doi.org/10.1155/2010/180242</a>.","ieee":"S. Drzevitzky, U. Kastens, and M. Platzner, “Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification,” <i>International Journal of Reconfigurable Computing</i>, vol. 2010, 2010.","ama":"Drzevitzky S, Kastens U, Platzner M. Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification. <i>International Journal of Reconfigurable Computing</i>. 2010;2010. doi:<a href=\"https://doi.org/10.1155/2010/180242\">10.1155/2010/180242</a>","mla":"Drzevitzky, Stephanie, et al. “Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification.” <i>International Journal of Reconfigurable Computing</i>, vol. 2010, Hindawi Publishing Corporation, 2010, doi:<a href=\"https://doi.org/10.1155/2010/180242\">10.1155/2010/180242</a>.","apa":"Drzevitzky, S., Kastens, U., &#38; Platzner, M. (2010). Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification. <i>International Journal of Reconfigurable Computing</i>, <i>2010</i>. <a href=\"https://doi.org/10.1155/2010/180242\">https://doi.org/10.1155/2010/180242</a>"},"user_id":"3118"}