Performance analysis of probabilistic timed automata using digital clocks

Research output: Contribution to journalArticlepeer-review

Standard

Harvard

APA

Vancouver

Author

Bibtex

@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",

}

RIS

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 -