On the Initialization of Clocks in Timed Formalisms
Bersani, Marcello M.;Rossi, Matteo;Pietro, Pierluigi San
2019-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
main-equivalence-well-init.pdf
Open Access dal 01/05/2021
:
Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione
543.39 kB
Formato
Adobe PDF
|
543.39 kB | Adobe PDF | Visualizza/Apri |
1-s2.0-S0304397519307492-main.pdf
Accesso riservato
:
Publisher’s version
Dimensione
1.25 MB
Formato
Adobe PDF
|
1.25 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.