---
_id: '10605'
author:
- first_name: Stephanie
  full_name: Drzevitzky, Stephanie
  last_name: Drzevitzky
- first_name: Uwe
  full_name: Kastens, Uwe
  last_name: Kastens
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  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>'
  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>'
  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}
    }'
  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.'
  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>.'
  short: S. Drzevitzky, U. Kastens, M. Platzner, International Journal of Reconfigurable
    Computing 2010 (2010).
date_created: 2019-07-10T09:22:56Z
date_updated: 2022-01-06T06:50:47Z
department:
- _id: '78'
doi: 10.1155/2010/180242
intvolume: '      2010'
language:
- iso: eng
publication: International Journal of Reconfigurable Computing
publisher: Hindawi Publishing Corporation
status: public
title: 'Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification'
type: journal_article
user_id: '3118'
volume: 2010
year: '2010'
...