An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
Wille R, Keszocze O, Othmer L, Thomsen MK, Drechsler R (2017)
Publication Status: Published
Publication Type: Journal article, Original article
Publication year: 2017
Journal
Publisher: American Scientific Publishers
Book Volume: 13
Pages Range: 633-641
Journal Issue: 4
Authors with CRIS profile
Involved external institutions
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH
Germany (DE)
University of Copenhagen
Denmark (DK)
Johannes Kepler Universität (JKU) Linz
Austria (AT)
Universität Bremen
Germany (DE)
Germany (DE)
University of Copenhagen
Denmark (DK)
Johannes Kepler Universität (JKU) Linz
Austria (AT)
Universität Bremen
Germany (DE)
How to cite
APA:
Wille, R., Keszocze, O., Othmer, L., Thomsen, M.K., & Drechsler, R. (2017). An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs. Journal of Low Power Electronics, 13(4), 633-641. https://dx.doi.org/10.1166/jolpe.2017.1515
MLA:
Wille, Robert, et al. "An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs." Journal of Low Power Electronics 13.4 (2017): 633-641.
BibTeX: Download