Jim Alves-Foss
-
Mechanization Of Real-Time Linear Csp With Higher Order Logic
Fundamenta Informaticae