On Process-Algebraic Extensions of Metric Temporal Logic

Christoph Haase, Joël Ouaknine, James Worrell
January 2010
DOI
Type
Book section
Publication
Reflections on the Work of C. A. R. Hoare.