Linear temporal logic (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Linear temporal logic" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

3books.google.com

3^rd place

3^rd place

2web.archive.org

1^st place

1^st place

179^th place

183^rd place

low place

low place

415^th place

327^th place

3,843^rd place

2,772^nd place

69^th place

59^th place

18^th place

17^th place

1semanticscholar.org

11^th place

8^th place

arxiv.org

Chakraborty, Souymodip; Katoen, Joost-Pieter (2014). Diaz, Josep; Lanese, Ivan; Sangiorgi, Davide (eds.). "Parametric LTL on Markov Chains". Theoretical Computer Science. Lecture Notes in Computer Science. 7908. Springer Berlin Heidelberg: 207–221. arXiv:1406.6683. Bibcode:2014arXiv1406.6683C. doi:10.1007/978-3-662-44602-7_17. ISBN 978-3-662-44602-7. S2CID 12538495.

books.google.com

Logic in Computer Science: Modelling and Reasoning about Systems: page 175
Dov M. Gabbay; A. Kurucz; F. Wolter; M. Zakharyaschev (2003). Many-dimensional modal logics: theory and applications. Elsevier. p. 46. ISBN 978-0-444-50826-3.
Abramsky, Samson; Gavoille, Cyril; Kirchner, Claude; Spirakis, Paul (2010-06-30). Automata, Languages and Programming: 37th International Colloquium, ICALP ... - Google Books. ISBN 9783642141614. Retrieved 2014-07-30.

doi.org

Amir Pnueli, The temporal logic of programs. Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS), 1977, 46–57. doi:10.1109/SFCS.1977.32
A. Pnueli and R. Rosner. "On the synthesis of a reactive module" In Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of programming languages (POPL '89). Association for Computing Machinery, New York, NY, USA, 179–190. https://doi.org/10.1145/75277.75293
Bowen Alpern, Fred B. Schneider, Defining Liveness, Information Processing Letters, Volume 21, Issue 4, 1985, Pages 181-185, ISSN 0020-0190, https://doi.org/10.1016/0020-0190(85)90056-0
Chakraborty, Souymodip; Katoen, Joost-Pieter (2014). Diaz, Josep; Lanese, Ivan; Sangiorgi, Davide (eds.). "Parametric LTL on Markov Chains". Theoretical Computer Science. Lecture Notes in Computer Science. 7908. Springer Berlin Heidelberg: 207–221. arXiv:1406.6683. Bibcode:2014arXiv1406.6683C. doi:10.1007/978-3-662-44602-7_17. ISBN 978-3-662-44602-7. S2CID 12538495.

harvard.edu

ui.adsabs.harvard.edu

Chakraborty, Souymodip; Katoen, Joost-Pieter (2014). Diaz, Josep; Lanese, Ivan; Sangiorgi, Davide (eds.). "Parametric LTL on Markov Chains". Theoretical Computer Science. Lecture Notes in Computer Science. 7908. Springer Berlin Heidelberg: 207–221. arXiv:1406.6683. Bibcode:2014arXiv1406.6683C. doi:10.1007/978-3-662-44602-7_17. ISBN 978-3-662-44602-7. S2CID 12538495.

lsv.fr

Diekert, Volker. "First-order Definable Languages" (PDF). University of Stuttgart.

mit.edu

mitpress.mit.edu

Sec. 5.1 of Christel Baier and Joost-Pieter Katoen, Principles of Model Checking, MIT Press "Principles of Model Checking - the MIT Press". Archived from the original on 2010-12-04. Retrieved 2011-05-17.

rice.edu

cs.rice.edu

Moshe Y. Vardi (2008). "From Church and Prior to PSL". In Orna Grumberg; Helmut Veith (eds.). 25 years of model checking: history, achievements, perspectives. Springer. ISBN 978-3-540-69849-4. preprint

semanticscholar.org

api.semanticscholar.org

Chakraborty, Souymodip; Katoen, Joost-Pieter (2014). Diaz, Josep; Lanese, Ivan; Sangiorgi, Davide (eds.). "Parametric LTL on Markov Chains". Theoretical Computer Science. Lecture Notes in Computer Science. 7908. Springer Berlin Heidelberg: 207–221. arXiv:1406.6683. Bibcode:2014arXiv1406.6683C. doi:10.1007/978-3-662-44602-7_17. ISBN 978-3-662-44602-7. S2CID 12538495.

stanford.edu

www-step.stanford.edu

"Linear-time Temporal Logic". Archived from the original on 2017-04-30. Retrieved 2012-03-19.

web.archive.org

"Linear-time Temporal Logic". Archived from the original on 2017-04-30. Retrieved 2012-03-19.
Sec. 5.1 of Christel Baier and Joost-Pieter Katoen, Principles of Model Checking, MIT Press "Principles of Model Checking - the MIT Press". Archived from the original on 2010-12-04. Retrieved 2011-05-17.