Future temporal logic needs infinitely many modalities
- Yoram Hirshfeld
- , Alexander Rabinovich*
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
10
Scopus
citations