D.: Partial Clock Functions in ACL2 (2004)

by J Matthews, Vroon
Venue:5th ACL2 Workshop. (2004