Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Sonja
Last name:	Georgievska
DBLP:	40/2923
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 3 of 3  

Select a publication
Show	Title	Venue	Rating	Date
	Suzana Andova, Sonja Georgievska. On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.	SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings 2009	(0)	2009
	Sonja Georgievska, Suzana Andova. Testing Probabilistic Processes: Can Random Choices Be Unobservable?	CoRR 2009, Volume 0	(0)	2009
	Nikola Trcka, Sonja Georgievska. Branching Bisimulation Congruence for Probabilistic Systems.	Electr. Notes Theor. Comput. Sci. 2008, Volume 220	(0)	2008

Your query returned 3 matches in the database.