| |
| 1988 | ||
|---|---|---|
| 3 | Z. Habasinski: Regular Automata and Model Checking. CAAP 1988: 231-243 | |
| 1985 | ||
| 2 | Z. Habasinski: Decidability in Pratt's process logics. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 180-184 | |
| 1984 | ||
| 1 | Z. Habasinski: Process Logics: Two Decidability Results. MFCS 1984: 282-290 | |