Choose the export format from the list below:
Filter
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
Export as HyperText Markup Language (HTML)
1 pagina corsi
Modelli e metodi per la verifica dei sistemi multi-agente tramite model checking
[ tag cloud / corsi ]
HomeRicercaTutte
Roberta Calegari • Giovanni Ciatto • Angelo Croatti • Matteo Magnini • Andrea Omicini
Home— nuvoletag | tag progetti— per a.a.2022/2023 | 2021/2022 | 2020/2021 | 2019/2020 | 2018/2019–1996/1997
