Tesi di laurea con relatore o correlatore Lanese, Ivan, discusse nel 2026

[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: C | P
Numero di documenti: 2.

C

Casaburi, Gianluca (2026) Simulating a Racing Choreographies Language. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

P

Pirazzini, Francesco (2026) PN-BisimInspector: a tool to check Place Bisimilarity in Petri Nets. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Questa lista e' stata generata il Mon Jul 6 04:36:43 2026 CEST.

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

^