Half-order modal logic: How to prove real-time properties

T.A. Henzinger, in:, ACM, 1990, pp. 281–296.

Download
No fulltext has been uploaded. References only!

Conference Paper | Published
Publishing Year
Date Published
1990-01-01
Page
281 - 296
Conference
PODC: Principles of Distributed Computing
IST-REx-ID

Cite this

Henzinger TA. Half-order modal logic: How to prove real-time properties. In: ACM; 1990:281-296. doi:10.1145/93385.93429
Henzinger, T. A. (1990). Half-order modal logic: How to prove real-time properties (pp. 281–296). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/93385.93429
Henzinger, Thomas A. “Half-Order Modal Logic: How to Prove Real-Time Properties,” 281–96. ACM, 1990. https://doi.org/10.1145/93385.93429.
T. A. Henzinger, “Half-order modal logic: How to prove real-time properties,” presented at the PODC: Principles of Distributed Computing, 1990, pp. 281–296.
Henzinger TA. 1990. Half-order modal logic: How to prove real-time properties. PODC: Principles of Distributed Computing 281–296.
Henzinger, Thomas A. Half-Order Modal Logic: How to Prove Real-Time Properties. ACM, 1990, pp. 281–96, doi:10.1145/93385.93429.

Link(s) to Main File(s)
Access Level
Restricted Closed Access

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar