Andrea Masini, Luca Viganò, Margherita Zorzi. A Qualitative Modal Representation of Quantum Register Transformations. In 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA. pages 131-137, IEEE Computer Society, 2008. [doi]
Abstract is missing.