1 research outputs found

    Synthesis of Transition Systems from Quantum Logics

    No full text
    corecore