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 Wed Mar 11 01:05:46 2026 CET.