Word- and Tree-based Temporal Logics for Operator Precedence Languages
Michele Chiari;Dino Mandrioli;Matteo Pradella
2019-01-01
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
paper25-published.pdf
accesso aperto
:
Publisher’s version
Dimensione
441.35 kB
Formato
Adobe PDF
|
441.35 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
