Performance Analysis of Probabilistic Timed Automata using Digital Clocks

M. Kwiatkowska, G. Norman, D. Parker, J. Sproston

Research output: Contribution to journalArticlepeer-review

133 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Performance Analysis of Probabilistic Timed Automata using Digital Clocks'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science