Jitka Stríbrná

	2002
6		Jitka Stríbrná, Ivana Cerná: Modifications of Expansion Trees for Weak Bisimulation in BPA. Electr. Notes Theor. Comput. Sci. 68(6): (2002)
	2001
5		Jiri Barnat, Lubos Brim, Jitka Stríbrná: Distributed LTL Model-Checking in SPIN. SPIN 2001: 200-216
4		Jitka Stríbrná, Insup Lee: Characterizing Non-Zenoness on Real-Time Processes. Electr. Notes Theor. Comput. Sci. 52(3): (2001)
	1999
3		Jitka Stríbrná: Approximating Weak Bisimulation on Basic Process Algebras. MFCS 1999: 366-375
	1998
2		Jitka Stríbrná: Hardness results for weak bisimilarity of simple process algebras. Electr. Notes Theor. Comput. Sci. 18: (1998)
	1997
1		Jitka Stríbrná: Decidability of strong bisimulation of basic parallel processes using Hilbert's basis theorem. Electr. Notes Theor. Comput. Sci. 9: (1997)

Coauthor Index

1	Jiri Barnat	[5]
2	Lubos Brim	[5]
3	Ivana Cerná (Ivana Cerna)	[6]
4	Insup Lee	[4]

Colors in the list of coauthors