Tesi di laurea con relatore o correlatore Gorrieri, Roberto, discusse nel 2022
Numero di documenti: 1.
Laurea magistrale
Baroni, Andrea
(2022)
Implementation of Algorithms for Bisimulation Equivalence.
[Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
Questa lista e' stata generata il Wed Dec 11 10:03:45 2024 CET.