| |
| 2009 | ||
|---|---|---|
| 2 | EE | Suzana Andova, Sonja Georgievska: On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. SOFSEM 2009: 67-78 |
| 2008 | ||
| 1 | EE | Nikola Trcka, Sonja Georgievska: Branching Bisimulation Congruence for Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 220(3): 129-143 (2008) |
| 1 | Suzana Andova | [2] |
| 2 | Nikola Trcka | [1] |