Communiqués par Ying, Mingsheng (University of Technology, Sydney)

Cover for Ying, Mingsheng (University of Technology, Sydney) · Model Checking Quantum Systems: Principles and Algorithms (Hardcover Book) (2021)
Hardcover Book
Model Checking Quantum Systems: ...
Ying, Mingsheng (University of T...