Quantitative multi-objective verification for probabilistic systems

Research output: Book/ReportBook

Standard

Harvard

APA

Vancouver

Author

Bibtex

@book{a6a43e1fff934bb58de767317ad370e7,
title = "Quantitative multi-objective verification for probabilistic systems",
author = "V. Forejt and M. Kwiatkowska and G. Norman and D. Parker and H. Qu",
year = "2011",
doi = "10.1007/978-3-642-19835-9_11",
language = "Undefined/Unknown",

}

RIS

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 -