1991 PHD Theses

• PHD-1991-91 Doron Peled (Shmuel Katz and Amir Pnueli): Verification methods in Temporal Logic