Christian D. Nielsen;Alain J. Martin
-;-
Mechanization Of Real-Time Linear Csp With Higher Order Logic
Fundamenta Informaticae