Synthesis of Transition Systems from Quantum Logics (Q4601119)

From MaRDI portal