|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Fundamental Properties of Probabilistic Branching-Time Logics
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Jan Kretinsky. Fundamental properties of probabilistic branching-time logics. Master's thesis, Masaryk University, Brno, Dept. of Computer Science, 2009.
Suggested BibTeX entry:
@mastersthesis{master:Kretinskycs09,
author = {Jan Kretinsky},
school = {Masaryk University, Brno, Dept. of Computer Science},
title = {Fundamental Properties of Probabilistic Branching-Time Logics},
year = {2009}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|