Tesi di laurea con relatore o correlatore Gorrieri, Roberto, discusse nel 2021
Numero di documenti: 1.
Cesco, Arnaldo
(2021)
Decidability Of Strong Equivalences For Finite Petri Nets.
[Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
Questa lista e' stata generata il Sun Dec 22 14:26:35 2024 CET.