Výpis publikací

ČERNÁ, Ivana a Radek PELÁNEK. Distributed Explicit Fair Cycle Detection. In SPIN Workshop 2003. Portland (Oregon, USA): Springer-Verlag, 2003, s. 49-74, 25 s. ISBN 3-540-40117-2.

CRHOVÁ, Jitka. Distributed Modular Model Checking. In 2002 IEEE International Conference on Automated Software Engineering Doctoral Symposium. Edinburgh, 2002, s. 17-21.

CRHOVÁ, Jitka. Distributed Modular Model Checking (abstract). In The Seventeenth IEEE International Conference on Automated Software Engineering. Los Alamitos: IEEE Computer Society, 2002, s. 312. ISBN 0-7695-1736-6.