Quantitative multi-objective verification for probabilistic systems

V. Forejt, M. Kwiatkowska, G. Norman, D. Parker, H. Qu

Research output: Book/Report › Book

Access to Document

TY - BOOK

T1 - Quantitative multi-objective verification for probabilistic systems

AU - Forejt, V.

AU - Kwiatkowska, M.

AU - Norman, G.

AU - Parker, D.

AU - Qu, H.

PY - 2011

Y1 - 2011

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

U2 - 10.1007/978-3-642-19835-9_11

DO - 10.1007/978-3-642-19835-9_11

M3 - Book

BT - Quantitative multi-objective verification for probabilistic systems

ER -