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 . Stanford University; 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,p.
Henzinger, Thomas A. The Temporal Specification and Verification of Real-Time Systems . Stanford University, 1991.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar