Automatic verification of competitive stochastic systems

Taolue Chen, V. Forejt, M. Kwiatkowska, D. Parker, A. Simaitis

Research output: Book/Report › Book

18 Citations (Scopus)

Access to Document

TY - BOOK

T1 - Automatic verification of competitive stochastic systems

AU - Chen, Taolue

AU - Forejt, V.

AU - Kwiatkowska, M.

AU - Parker, D.

AU - Simaitis, A.

PY - 2012

Y1 - 2012

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

U2 - 10.1007/978-3-642-28756-5_22

DO - 10.1007/978-3-642-28756-5_22

M3 - Book

BT - Automatic verification of competitive stochastic systems

ER -