Tesi di laurea con relatore o correlatore Colledan, Andrea, discusse nel 2022

[su] Su di un livello
Esporta come [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Raggruppa per: Autore della tesi | Tipologia della tesi | Nessun raggruppamento
Vai a: V
Numero di documenti: 1.

V

Vitale, Marco (2022) Verification of Quantum Bit Commitment Protocols using Bisimulation Techniques. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Questa lista e' stata generata il Sun Dec 22 04:52:09 2024 CET.

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^