Kelly M. Hall;Phillip J. Windley
-;-
Mechanization Of Real-Time Linear Csp With Higher Order Logic
Fundamenta Informaticae