Publication [Turrini22] An Introduction to Quantum Model Checking Turrini, A. In Applied Sciences, 12, 2022. doi.. Downloads: bibURL: https://www.mdpi.com/2076-3417/12/4/2016