Constructive logical characterizations of bisimilarity for reactive probabilistic systems
Miculan, Marino
2018-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
1-s2.0-S0304397518307217-main.pdf
non disponibili
Tipologia:
Documento in Post-print
Licenza:
Non pubblico
Dimensione
1.24 MB
Formato
Adobe PDF
|
1.24 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.