Real-time interval logic for reasoning about executions of real-time programs

Publisher Website

1 January 1989

conference paper
Published by Association for Computing Machinery (ACM)

Vol. 14 (8) , 10-19
https://doi.org/10.1145/75308.75311

Abstract

No abstract available

Cited by 18 articles