#申明： 本项目主要参考Mingsheng Ying与Yuan Feng老师出版的《model checing quantum systems》。本项目仅用于学习用途。
-
Notifications
You must be signed in to change notification settings - Fork 0
gcc-bug/QMC
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
study quantum Markov chain by model checking
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published