Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Interleaving set temporal logic
Home
Publications
Interleaving set temporal logic
Interleaving set temporal logic
SK
Shmuel Katz
Shmuel Katz
DP
Doron Peled
Doron Peled
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1987
conference paper
conference paper
Published by
Association for Computing Machinery (ACM)
p.
178-190
https://doi.org/10.1145/41840.41855
Abstract
No abstract available
Keywords
TEMPORAL LOGIC
Cited by 32 articles