Výpis publikací

2002

1. Distributed Modular Model Checking

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

   Podrobněji: https://is.muni.cz/publication/406230/cs
2. Distributed Modular Model Checking (abstract)

   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.

   Podrobněji: https://is.muni.cz/publication/406228/cs