Automatic verification of competitive stochastic systems

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

Research output: Book/ReportBook

18 Citations (Scopus)
Original languageUndefined/Unknown
DOIs
Publication statusPublished - 2012

Cite this