Skip to main content

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