Publications
Peleska. Translating testing theories for concurrent systems. In Roland Meyer, Andr´e Platzer, and Heike Wehrheim, editors, Correct System Design - Symposium in Honor of ErnstR¨udiger Olderog on the Occasion [...] Michel Kouvaras, Jan Peleska, and Hui Shi. Deadlock analysis for a fault-tolerant system. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST ’97,