Sonja Georgievska

	2009
3		Suzana Andova, Sonja Georgievska: On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. SOFSEM 2009: 67-78
2		Sonja Georgievska, Suzana Andova: Testing Probabilistic Processes: Can Random Choices Be Unobservable? CoRR abs/0907.1540: (2009)
	2008
1		Nikola Trcka, Sonja Georgievska: Branching Bisimulation Congruence for Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 220(3): 129-143 (2008)

Coauthor Index

1	Suzana Andova	[2] [3]
2	Nikola Trcka	[1]

Colors in the list of coauthors