Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler. Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. In Robert Glück, Tetsuo Yokoyama, editors, Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Volume 7581 of Lecture Notes in Computer Science, pages 183-196, Springer, 2012. [doi]

This author has not been identified. Look up 'Julia Seiter' in GoogleThis author has not been identified. Look up 'Mathias Soeken' in GoogleThis author has not been identified. Look up 'Robert Wille' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL