Automatic verification of competitive stochastic systems

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 - https://www.scopus.com/pages/publications/84859365682

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 -