Verification of Quantum Protocols Adopting Physically Admissible Schedulers — Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi | Kutubxona