A Set−Theoretic Model for Real−Time Specification and Reasoning
C. J. Fidge‚ I. J. Hayes‚ A. P. Martin and A. K. Wabenhorst
Book Title
Mathematics of Program Construction (MPC'98)
Editor
J. Jeuring
Pages
188–206
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
1422
Year
1998