Paolo Felli, M.M. (2022). Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic [10.1609/aaai.v36i5.20505].
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
20220628.pdf
accesso riservato
Tipo:
Versione (PDF) editoriale
Licenza:
Licenza per accesso riservato
Dimensione
192.39 kB
Formato
Adobe PDF
|
192.39 kB | Adobe PDF | Visualizza/Apri Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.