The Temporal Specification and Verification of Real-time Systems
T.A. Henzinger, The Temporal Specification and Verification of Real-Time Systems , Stanford University, 1991.
Download
No fulltext has been uploaded. References only!
Thesis
| Published
Publishing Year
Date Published
1991-08-01
IST-REx-ID
Cite this
Henzinger TA. The Temporal Specification and Verification of Real-time Systems . 1991.
Henzinger, T. A. (1991). The Temporal Specification and Verification of Real-time Systems . Stanford University.
Henzinger, Thomas A. “The Temporal Specification and Verification of Real-Time Systems .” Stanford University, 1991.
T. A. Henzinger, “The Temporal Specification and Verification of Real-time Systems ,” Stanford University, 1991.
Henzinger TA. 1991. The Temporal Specification and Verification of Real-time Systems . Stanford University.
Henzinger, Thomas A. The Temporal Specification and Verification of Real-Time Systems . Stanford University, 1991.
Link(s) to Main File(s)
Access Level
Closed Access
Google Scholar