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
Decreto approvazione atti
Verbale della seduta preliminare:
Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
2020-0070-1340-159971
© Sapienza Università di Roma - Piazzale Aldo Moro 5, 00185 Roma - (+39) 06 49911 - CF 80209930587 PI 02133771002