Luca Viganò 0001, Marco Volpe 0001, Margherita Zorzi. A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. Inf. Comput., 255:311-333, 2017. [doi]
@article{ViganoVZ17,
title = {A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations},
author = {Luca Viganò 0001 and Marco Volpe 0001 and Margherita Zorzi},
year = {2017},
doi = {10.1016/j.ic.2017.01.007},
url = {https://doi.org/10.1016/j.ic.2017.01.007},
researchr = {https://researchr.org/publication/ViganoVZ17},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {255},
pages = {311-333},
}