Report copyright - Aspect Categories and Classes of Temporal …katz/categories.pdf1 Aspect Categories and Classes of Temporal Properties Shmuel Katz Computer Science The Technion Haifa Israel [email protected]
Please pass captcha verification before submit form