Jitka Zidkova

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

2 Lubos Brim, Karen Yorav, Jitka Zidkova: Assumption-based distribution of CTL model checking. STTT 7(1): 61-73 (2005)

2003

1 Lubos Brim, Jitka Zidkova: Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. Electr. Notes Theor. Comput. Sci. 89(1): (2003)

	2005
2		Lubos Brim, Karen Yorav, Jitka Zidkova: Assumption-based distribution of CTL model checking. STTT 7(1): 61-73 (2005)
	2003
1		Lubos Brim, Jitka Zidkova: Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. Electr. Notes Theor. Comput. Sci. 89(1): (2003)

Coauthor Index

1 Lubos Brim [1] [2]

2 Karen Yorav (Karen Laster) [2]