Performance analysis of probabilistic timed automata using digital clocks

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

Research output: Contribution to journal › Article › peer-review

133 Citations (Scopus)

Original language	Undefined/Unknown
Journal	Formal Methods in System Design
DOIs	https://doi.org/10.1007/s10703-006-0005-2
Publication status	Published - 2006

Access to Document

@article{9b1b92231949459b93a017d8e45be83f,

title = "Performance analysis of probabilistic timed automata using digital clocks",

author = "M. Kwiatkowska and G. Norman and D. Parker and J. Sproston",

year = "2006",

doi = "10.1007/s10703-006-0005-2",

language = "Undefined/Unknown",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer",

}

TY - JOUR

T1 - Performance analysis of probabilistic timed automata using digital clocks

AU - Kwiatkowska, M.

AU - Norman, G.

AU - Parker, D.

AU - Sproston, J.

PY - 2006

Y1 - 2006

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-33746043408&partnerID=MN8TOARS

U2 - 10.1007/s10703-006-0005-2

DO - 10.1007/s10703-006-0005-2

M3 - Article

JO - Formal Methods in System Design

JF - Formal Methods in System Design

SN - 0925-9856

ER -