Debugging of Reversible Circuits using πDDs

@inproceedings{pub6682,
    author = {

Tague, Laura
 and 

Soeken, Mathias
 and 

Minato, Shin-ichi
 and 

Drechsler, Rolf
},
    title = {Debugging of Reversible Circuits using πDDs},
    booktitle = {Proceedings of the 43rd International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2013), 43rd, May 22-24, Toyama, Japan},
    year = {2013},
    publisher = {IEEE}
}