Jitka Zidkova

List of publications from the DBLP Bibliography Server - FAQ

2005

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

2003

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

2005
2	EE	Lubos Brim, Karen Yorav, Jitka Zidkova: Assumption-based distribution of CTL model checking. STTT 7(1): 61-73 (2005)
2003
1	EE	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]