Z. Habasinski

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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