Cargando…
Model checking quantum systems: principles and algorithms
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Cambridge University Press
2021
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1017/9781108613323 http://cds.cern.ch/record/2752558 |
| _version_ | 1780969287395049472 |
|---|---|
| author | Ying, Mingsheng Feng, Yuan |
| author_facet | Ying, Mingsheng Feng, Yuan |
| author_sort | Ying, Mingsheng |
| collection | CERN |
| id | cern-2752558 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2021 |
| publisher | Cambridge University Press |
| record_format | invenio |
| spelling | cern-27525582021-04-21T16:43:37Zdoi:10.1017/9781108613323http://cds.cern.ch/record/2752558engYing, MingshengFeng, YuanModel checking quantum systems: principles and algorithmsComputing and ComputersCambridge University Pressoai:cds.cern.ch:27525582021 |
| spellingShingle | Computing and Computers Ying, Mingsheng Feng, Yuan Model checking quantum systems: principles and algorithms |
| title | Model checking quantum systems: principles and algorithms |
| title_full | Model checking quantum systems: principles and algorithms |
| title_fullStr | Model checking quantum systems: principles and algorithms |
| title_full_unstemmed | Model checking quantum systems: principles and algorithms |
| title_short | Model checking quantum systems: principles and algorithms |
| title_sort | model checking quantum systems: principles and algorithms |
| topic | Computing and Computers |
| url | https://dx.doi.org/10.1017/9781108613323 http://cds.cern.ch/record/2752558 |
| work_keys_str_mv | AT yingmingsheng modelcheckingquantumsystemsprinciplesandalgorithms AT fengyuan modelcheckingquantumsystemsprinciplesandalgorithms |