Tesi di laurea con relatore o correlatore Gorrieri, Roberto, discusse nel 2022
Numero di documenti: 1.
B
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 Thu Dec 26 14:08:01 2024 CET.