A
Menu
November 12, 2024 conference-paper Aachen paper

Quantum Computing: From Weakest Preconditions to Voltage Pulses

Lecture notes in computer science, pp. 201–229

DOI: 10.1007/978-3-031-75783-9_9 OpenAlex

Authors 3

  1. Thomas Noll corresponding Aachen Software Modeling and Verification Group

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

    Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany

  2. Christina Gehnen corresponding Aachen Chair for Quantum Information Systems Software Modeling and Verification Group

    RWTH Aachen University

    Affiliation as printed

    Chair for Quantum Information Systems, RWTH Aachen University, Aachen, Germany

    Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany

  3. Roy Hermanns corresponding Aachen Software Modeling and Verification Group

    RWTH Aachen University

    Affiliation as printed

    Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 71