Pure-past linear time temporal logic and linear dynamic logic on finite traces (SPC: 2020-0070-1340-159971)
Codice bando: 8
Data pubblicazione: 04-03-2020
Data scadenza: 03-04-2020
riapertura termini fino al: 21-05-2020
Bando: Bando AR 8 De Giacomo.pdf
Decreto approvazione atti
Verbale della seduta preliminare:
Allegati
Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
2020-0070-1340-159971