A Set−Theoretic Model for Real−Time Specification and Reasoning
C. J. Fidge‚ I. J. Hayes‚ A. P. Martin and A. K. Wabenhorst
Details
| 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 |
Links
Related pages
|
People |