Visibly Linear Temporal Logic / Bozzelli, L.; Sanchez, C.. - In: JOURNAL OF AUTOMATED REASONING. - ISSN 0168-7433. - 60:2(2018), pp. 177-220. [10.1007/s10817-017-9410-z]
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
JAR2018.pdf
solo utenti autorizzati
Licenza:
Copyright dell'editore
Dimensione
1.29 MB
Formato
Adobe PDF
|
1.29 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.