Automatic verification of competitive stochastic systems

Research output: Book/ReportBook

Authors

Colleges, School and Institutes

Details

Original languageUndefined/Unknown
Publication statusPublished - 2012