Skip to main content

A Calculus of Durations

Zhou Chaochen‚ C. A. R. Hoare and Anders P. Ravn

Journal
Inf. Process. Lett.
Number
5
Pages
269−276
Volume
40
Year
1991