A Temporal Logic for Proving Properties of Topologically General Executions
- Rachel Ben-Eliyahu*
- , Menachem Magidor
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
5
Scopus
citations