Branching-time temporal logic extended with qualitative presburger constraints / Bozzelli, L.; Gascon, R.. - 4246 LNAI:(2006), pp. 197-211. (Intervento presentato al convegno 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2006)) [10.1007/11916277_14].
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
LPAR2006.pdf
solo utenti autorizzati
Licenza:
Copyright dell'editore
Dimensione
341.59 kB
Formato
Adobe PDF
|
341.59 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.