Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking?
Molinari, Alberto
;Montanari, Angelo
;
2018-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
TCS17.pdf
Open Access dal 02/04/2020
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
579.52 kB
Formato
Adobe PDF
|
579.52 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.