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
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