Performance Analysis of Probabilistic Timed Automata Using Digital Clocks

Research output: Book/ReportBook

Standard

Harvard

APA

Vancouver

Author

Bibtex

@book{38460900db004dcbb0b2a38090787982,
title = "Performance Analysis of Probabilistic Timed Automata Using Digital Clocks",
author = "M. Kwiatkowska and G. Norman and D. Parker and J. Sproston",
year = "2004",
language = "Undefined/Unknown",

}

RIS

TY - BOOK

T1 - Performance Analysis of Probabilistic Timed Automata Using Digital Clocks

AU - Kwiatkowska, M.

AU - Norman, G.

AU - Parker, D.

AU - Sproston, J.

PY - 2004

Y1 - 2004

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

M3 - Book

BT - Performance Analysis of Probabilistic Timed Automata Using Digital Clocks

ER -