Proc. of the International Symposium on Verification (Theory and Practice) - Celebrating Zohar Manna's 64-th Birthday.
A Formal Basis for Reasoning on Programmable QoS / R. De Nicola; R. Pugliese; G. Ferrari; U. Montanari; E. Tuosto. - STAMPA. - (2003), pp. 436-479. [10.1007/978-3-540-39910-0_21]
A Formal Basis for Reasoning on Programmable QoS
PUGLIESE, ROSARIO;
2003
Abstract
Proc. of the International Symposium on Verification (Theory and Practice) - Celebrating Zohar Manna's 64-th Birthday.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
03ISV - A Formal Basis for Reasoning on Programmable QoS.pdf
Accesso chiuso
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
636.15 kB
Formato
Adobe PDF
|
636.15 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
