Pareto curves for probabilistic model checking

Research output: Book/ReportBook

Standard

Pareto curves for probabilistic model checking. / Forejt, V.; Kwiatkowska, M.; Parker, D.

2012.

Research output: Book/ReportBook

Harvard

APA

Vancouver

Author

Bibtex

@book{99587b84bd6b4175a6103f37e8d76944,
title = "Pareto curves for probabilistic model checking",
author = "V. Forejt and M. Kwiatkowska and D. Parker",
year = "2012",
doi = "10.1007/978-3-642-33386-6_25",
language = "Undefined/Unknown",

}

RIS

TY - BOOK

T1 - Pareto curves for probabilistic model checking

AU - Forejt, V.

AU - Kwiatkowska, M.

AU - Parker, D.

PY - 2012

Y1 - 2012

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

U2 - 10.1007/978-3-642-33386-6_25

DO - 10.1007/978-3-642-33386-6_25

M3 - Book

BT - Pareto curves for probabilistic model checking

ER -