Publikation
Phillip Niemann; Robert Wille; Rolf Drechsler
In: International Conference on Reversible Computation - Proceedings. International Conference on Reversible Computation (RC-14), July 10-11, Kyoto, Japan, Springer, 2014.
@inproceedings{pub7287, author = { Niemann, Philipp and Wille, Robert and Drechsler, Rolf }, title = {Equivalence Checking in Multi-level Quantum Systems}, booktitle = {International Conference on Reversible Computation - Proceedings. International Conference on Reversible Computation (RC-14), July 10-11, Kyoto, Japan}, year = {2014}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023