Jan Kretínský. Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems (Verifikation von non-deterministischen Markovischen Systemen mit diskreter oder kontinuierlicher Zeit). PhD thesis, Technical University of Munich, Germany, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.