Publication
Equivalence Checking in Multi-level Quantum Systems
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.