Model checking quantum systems: principles and algorithms

Detalles Bibliográficos
Autores principales: Ying, Mingsheng, Feng, Yuan
Lenguaje:eng
Publicado: Cambridge University Press 2021
Materias:
Computing and Computers
Acceso en línea:https://dx.doi.org/10.1017/9781108613323
http://cds.cern.ch/record/2752558
Descripción
Descripción no disponible.

Ejemplares similares