On Process−Algebraic Extensions of Metric Temporal Logic
Christoph Haase‚ Joël Ouaknine and James Worrell
Book Title
Reflections on the Work of C. A. R. Hoare.
ISBN
978−1−84882−911−4
Pages
283–300
Publisher
Springer
Year
2010
Christoph Haase‚ Joël Ouaknine and James Worrell