Automated verification techniques for probabilistic systems

Research output: Book/ReportBook

Standard

Harvard

APA

Vancouver

Author

Bibtex

@book{239d8ee7a6d8434ab1fbe55308e7412b,
title = "Automated verification techniques for probabilistic systems",
author = "V. Forejt and M. Kwiatkowska and G. Norman and D. Parker",
year = "2011",
doi = "10.1007/978-3-642-21455-4_3",
language = "Undefined/Unknown",

}

RIS

TY - BOOK

T1 - Automated verification techniques for probabilistic systems

AU - Forejt, V.

AU - Kwiatkowska, M.

AU - Norman, G.

AU - Parker, D.

PY - 2011

Y1 - 2011

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

U2 - 10.1007/978-3-642-21455-4_3

DO - 10.1007/978-3-642-21455-4_3

M3 - Book

BT - Automated verification techniques for probabilistic systems

ER -