TIC: A TImed Calculus (1993)

by J Quemada, D de Frutos, A Azcorra
Venue:Formal Aspects of Computing