Fingerprint
Dive into the research topics of 'Interleaving set temporal logic (preliminary version)'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Interleaving set temporal logic (preliminary version)
Shmuel Katz, Doron Peled
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
29
Scopus
citations