B. Banieqbal

Temporal Logic in Specification

Amir Pnueli, Howard Barringer, Behnam Banieqbal, 1987, Lecture Notes in Computer Science.

Enforcing nondeternism via linear time temporal logic using hiding

Amir Pnueli, Howard Barringer, Ruurd Kuiper, 1989 .

Proceedings on Temporal logic in specification

Amir Pnueli, Howard Barringer, Behnam Banieqbal, 1987 .

Classification of finite subgroups of 2 × 2 matrices over a division algebra of characteristic zero

B. Banieqbal, 1988 .

Temporal Logic with Fixed Points

Howard Barringer, Behnam Banieqbal, H. Barringer, 1987, Temporal Logic in Specification.