Computing behavioral rela- tions for probabilistic concurrent systems

D. Gebler, H. Hashemi, A. Turrini

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationStochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems
PublisherSpringer
Pages117-155
Publication statusPublished - 2014

Cite this