Equivalence Checking in Multi-level Quantum Systems

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