| Original language | English |
|---|---|
| Publication status | Published - 2004 |
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks
M. Kwiatkowska, G. Norman, D. Parker, J. Sproston
Research output: Book/Report › Book
M. Kwiatkowska, G. Norman, D. Parker, J. Sproston
Research output: Book/Report › Book
| Original language | English |
|---|---|
| Publication status | Published - 2004 |