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]
No references recorded for this publication.
No citations of this publication recorded.