E | |
---|---|
[EH86] | E. Allen Emerson et
Joseph Y. Halpern.
"Sometimes" and "Not Never" Revisited:
On Branching versus Linear Time Temporal Logic.
Journal of the ACM 33(1):151-178. ACM Press, janvier 1986.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1