Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs
Wille R, Keszocze O, Othmer L, Thomsen MK, Drechsler R (2016)
Publication Status: Published
Publication Type: Conference contribution
Publication year: 2016
Publisher: Springer Verlag
Book Volume: 9720
Pages Range: 160-166
Event location: Bologna
ISBN: 9783319405773
DOI: 10.1007/978-3-319-40578-0_11
Authors with CRIS profile
Involved external institutions
Johannes Kepler Universität (JKU) Linz
Austria (AT)
University of Copenhagen
Denmark (DK)
Universität Bremen
Germany (DE)
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH
Germany (DE)
Austria (AT)
University of Copenhagen
Denmark (DK)
Universität Bremen
Germany (DE)
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH
Germany (DE)
How to cite
APA:
Wille, R., Keszocze, O., Othmer, L., Thomsen, M.K., & Drechsler, R. (2016). Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs. In Proceedings of the 8th International Conference on Reversible Computation, RC 2016 (pp. 160-166). Bologna: Springer Verlag.
MLA:
Wille, Robert, et al. "Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs." Proceedings of the 8th International Conference on Reversible Computation, RC 2016, Bologna Springer Verlag, 2016. 160-166.
BibTeX: Download