Result: Model checking quantum systems

*Title*:

Model checking quantum systems : principles and algorithms / Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney

*Author/editor-in-chief*:

Ying, Mingsheng (Verfasser) ; Feng, Yuan (Verfasser$4)

*Publication*:

Cambridge : Cambridge University Press, 2021

*Distribution*:

Cambridge, UK : Cambridge University Press

*Physical description scale*:

1 Online-Ressource (xi, 209 pages)

*Format*:

*eBook*

*Language*:

*eng*

*Notes*:

Title from publisher's bibliographic system (viewed on 15 Jan 2021)

*RVK-Notation*:

*ST 152*

*ISBN*:

9781108613323 ; 9781108484305 (Sekundärausgabe)

*Result*: Model checking quantum systems

*Additional information*

*Additional functions*

Result: Model checking quantum systems

Additional information

Additional functions