CTL* (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "CTL*" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

2semanticscholar.org

11^th place

8^th place

1,185^th place

840^th place

26^th place

20^th place

acm.org

dl.acm.org

Baier, Christel; Katoen, Joost-Pieter (2008-01-01). Principles of Model Checking (Representation and Mind Series). The MIT Press. ISBN 978-0262026499.

doi.org

Emerson, E. Allen; Halpern, Joseph Y. (1983). ""Sometimes" and "Not Never" revisited". Proceedings of the 10th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '83. pp. 127–140. doi:10.1145/567067.567081. ISBN 0897910907. S2CID 15728260.
Orna Kupferman; Moshe Y. Vardi (June 1999). "Church's problem revisited". Bulletin of Symbolic Logic. 5 (2): 245–263. doi:10.2307/421091. JSTOR 421091. S2CID 18833301.

jstor.org

Orna Kupferman; Moshe Y. Vardi (June 1999). "Church's problem revisited". Bulletin of Symbolic Logic. 5 (2): 245–263. doi:10.2307/421091. JSTOR 421091. S2CID 18833301.

semanticscholar.org

api.semanticscholar.org

Emerson, E. Allen; Halpern, Joseph Y. (1983). ""Sometimes" and "Not Never" revisited". Proceedings of the 10th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '83. pp. 127–140. doi:10.1145/567067.567081. ISBN 0897910907. S2CID 15728260.
Orna Kupferman; Moshe Y. Vardi (June 1999). "Church's problem revisited". Bulletin of Symbolic Logic. 5 (2): 245–263. doi:10.2307/421091. JSTOR 421091. S2CID 18833301.