- Cited by 5
-
Cited byCrossref Citations
This Book has been cited by the following publications. This list is generated based on data provided by Crossref.
Ying, Mingsheng 2021. Formal Methods. Vol. 13047, Issue. , p. 23.
Ying, Ming-Sheng Feng, Yuan and Ying, Sheng-Gang 2021. Optimal Policies for Quantum Markov Decision Processes. International Journal of Automation and Computing, Vol. 18, Issue. 3, p. 410.
Desu, Surya Sai Teja Srivastava, Anubhav and Rao, M. V. Panduranga 2022. Formal Modeling and Analysis of Timed Systems. Vol. 13465, Issue. , p. 98.
Chen, Yu-Fang Chung, Kai-Min Lengál, Ondřej Lin, Jyun-Ao and Tsai, Wei-Lun 2023. Computer Aided Verification. Vol. 13966, Issue. , p. 139.
Hong, Xin Huang, Wei-Jia Chien, Wei-Chen Feng, Yuan Hsieh, Min-Hsiu Li, Sanjiang Yeh, Chia-Shun and Ying, Mingsheng 2023. Decision Diagrams for Symbolic Verification of Quantum Circuits. p. 970.
- Publisher:
- Cambridge University Press
- Online publication date:
- January 2021
- Print publication year:
- 2021
- Online ISBN:
- 9781108613323