Archiv verlassen und diese Seite im Standarddesign anzeigen : Model Checking Quantum Systems (Principles and Algorithms)