线性时序逻辑 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "线性时序逻辑" in Chinese language version.

refsWebsite

Global rank Chinese rank

5web.archive.org

1^st place

1^st place

2^nd place

23^rd place

1books.google.com

3^rd place

8^th place

179^th place

275^th place

low place

2,420^th place

low place

low place

415^th place

500^th place

332^nd place

526^th place

books.google.com (Global: 3^rd place; Chinese: 8^th place)

Logic in Computer Science: Modelling and Reasoning about Systems: page 175

cornell.edu (Global: 332^nd place; Chinese: 526^th place)

cs.cornell.edu

Bowen Alpern; Fred B. Schneider. Recognizing safety and liveness (PDF). Distributed Computing. 1987 [2022-08-07]. （原始内容存档 (PDF)于2022-07-21）.

doi.org (Global: 2^nd place; Chinese: 23^rd place)

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
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

jsjkx.com (Global: low place; Chinese: low place)

陈志远; 黄少滨，韩丽丽. 现代模态逻辑在计算机科学中的应用研究. 计算机科学. 2013, 40 (6A) [2022-08-07]. （原始内容存档于2022-08-04）.

mit.edu (Global: 415^th place; Chinese: 500^th place)

mitpress.mit.edu

Sec. 5.1 of Christel Baier and Joost-Pieter Katoen, Principles of Model Checking, MIT Press Archived copy. [2011-05-17]. （原始内容存档于2010-12-04）.

stanford.edu (Global: 179^th place; Chinese: 275^th place)

www-step.stanford.edu

Linear-time Temporal Logic. [2012-03-19]. （原始内容存档于2017-04-30）.

ustc.edu.cn (Global: low place; Chinese: 2,420^th place)

staff.ustc.edu.cn

Li Xi. 嵌入式系统的属性与验证 (PDF). 中国科学技术大学: 12. [2022-08-07]. （原始内容存档 (PDF)于2022-08-04）.

web.archive.org (Global: 1^st place; Chinese: 1^st place)

Linear-time Temporal Logic. [2012-03-19]. （原始内容存档于2017-04-30）.
Li Xi. 嵌入式系统的属性与验证 (PDF). 中国科学技术大学: 12. [2022-08-07]. （原始内容存档 (PDF)于2022-08-04）.
陈志远; 黄少滨，韩丽丽. 现代模态逻辑在计算机科学中的应用研究. 计算机科学. 2013, 40 (6A) [2022-08-07]. （原始内容存档于2022-08-04）.
Sec. 5.1 of Christel Baier and Joost-Pieter Katoen, Principles of Model Checking, MIT Press Archived copy. [2011-05-17]. （原始内容存档于2010-12-04）.
Bowen Alpern; Fred B. Schneider. Recognizing safety and liveness (PDF). Distributed Computing. 1987 [2022-08-07]. （原始内容存档 (PDF)于2022-07-21）.