Details for the publication Turrini22.

Andrea Turrini: An Introduction to Quantum Model Checking. In Applied Sciences 12(4), 2022. DOI BIB