Martin Lukac, Michitaka Kameyama, Marek A. Perkowski, Pawel Kerntopf. Analysis of Reversible and Quantum Finite State Machines Using Homing, Synchronizing and Distinguishing Input Sequences. In 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013. pages 322-327, IEEE, 2013. [doi]
Abstract is missing.