On Process−algebraic Extensions of Metric Temporal Logic
Christoph Haase‚ Joel Ouaknine and James Worrell
Details
| Book Title |
Reflections on the Work of C.A.R. Hoare |
| Chapter |
13 |
| Copyright |
Springer−Verlag London |
| Editor |
C.B. Jones‚ A.W. Roscoe and K.R. Wood |
| Pages |
283–300 |
| Publisher |
Springer |
| Series |
History of computing |
| Year |
2010 |
Links
DOI (10.1007/978-1-84882-912-1_13)
Related pages
|
People |