This is the Uppaal Stratego model published at FORTE2020 https://link.springer.com/chapter/10.1007%2F978-3-030-50086-3_1
Stratego formal models and experiments for the paper published at FORTE2020
Basile D
2020
Abstract
This is the Uppaal Stratego model published at FORTE2020 https://link.springer.com/chapter/10.1007%2F978-3-030-50086-3_1File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_456753-doc_176905.zip
accesso aperto
Descrizione: Stratego formal models and experiments for the paper published at FORTE2020
Dimensione
148.61 kB
Formato
Unknown
|
148.61 kB | Unknown | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
