An in-depth investigation of interval temporal logic model checking with regular expressions
MOLINARI, ALBERTO;MONTANARI, Angelo;
2017-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
SEFM2017wApp.pdf
Open Access dal 02/09/2019
Tipologia:
Documento in Pre-print
Licenza:
Non pubblico
Dimensione
522.54 kB
Formato
Adobe PDF
|
522.54 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.