A Quantitative Extension of Interval Temporal Logic over Infinite Words / Bozzelli, L.; Peron, A.. - 247:(2022). (Intervento presentato al convegno 29th International Symposium on Temporal Representation and Reasoning (TIME 2022) tenutosi a Virtual Conference nel November 7-9, 2022) [10.4230/LIPIcs.TIME.2022.11].
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
TIME_2022.pdf
solo utenti autorizzati
Licenza:
Copyright dell'editore
Dimensione
829.94 kB
Formato
Adobe PDF
|
829.94 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.