Jitka Crhová

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Lubos Brim, Jitka Crhová, Karen Yorav
Using Assumptions to Distribute CTL Model Checking. Electron. Notes Theor. Comput. Sci. 68 (4) (2002)
Jitka Crhová
Distributed Modular Model Checking. ASE (2002)