1987 MSC Theses
MSC-1987-87
Doron Peled (Shmuel Katz):
Interleaving sets Temporal Logic
To the main CS technical reports page