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)
Original languageUndefined/Unknown
JournalFormal Methods in System Design
DOIs
Publication statusPublished - 2006

Cite this