Performance Analysis of Probabilistic Timed Automata Using Digital Clocks

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

Research output: Book/ReportBook

Original languageUndefined/Unknown
Publication statusPublished - 2004

Cite this