You are about to access our book library "Model Checking Quantum Systems: Principles and Algorithms full version" .