Stochastic games for verification of probabilistic timed automata

Research output: Book/ReportBook

Standard

Harvard

APA

Vancouver

Author

Bibtex

@book{eda21c13a2834b6b843b064e3eb444c8,
title = "Stochastic games for verification of probabilistic timed automata",
author = "M. Kwiatkowska and G. Norman and D. Parker",
year = "2009",
doi = "10.1007/978-3-642-04368-0-17",
language = "Undefined/Unknown",

}

RIS

TY - BOOK

T1 - Stochastic games for verification of probabilistic timed automata

AU - Kwiatkowska, M.

AU - Norman, G.

AU - Parker, D.

PY - 2009

Y1 - 2009

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

U2 - 10.1007/978-3-642-04368-0-17

DO - 10.1007/978-3-642-04368-0-17

M3 - Book

BT - Stochastic games for verification of probabilistic timed automata

ER -