TLA+ (Ukrainian Wikipedia)

Analysis of information sources in references of the Wikipedia article "TLA+" in Ukrainian language version.

Last modified: 02:58:00, 8 November 2025 (UTC)

Ref.Un. Ref.Website

Global rank Ukrainian rank

11web.archive.org

1^st place

1^st place

11microsoft.com

263^rd place

288^th place

low place

8,307^th place

codeplex.com (Global: low place; Ukrainian: 8,307^th place)

tlaplus.codeplex.com

Tlaplus Tools - License. CodePlex. Microsoft, Compaq. 8 квітня 2013. Процитовано 10 травня 2015. {{cite web}}: Не дозволено використовувати розмітку курсивом або жирним шрифтом у: |website= (довідка)^{[недоступне посилання]} https://tlaplus.codeplex.com/license^{[недоступне посилання]}

microsoft.com (Global: 263^rd place; Ukrainian: 288^th place)

research.microsoft.com

Лампорт, Леслі (січень 2000). Specifying Concurrent Systems with TLA⁺ (PDF). Т. 173. IOS Press, Амстердам. с. 183—247. ISBN 978-90-5199-459-9. Архів оригіналу (PDF) за 4 березня 2016. Процитовано 22 травень 2015. {{cite book}}: Проігноровано |journal= (довідка)

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

Лампорт, Леслі (січень 2000). Specifying Concurrent Systems with TLA⁺ (PDF). Т. 173. IOS Press, Амстердам. с. 183—247. ISBN 978-90-5199-459-9. Архів оригіналу (PDF) за 4 березня 2016. Процитовано 22 травень 2015. {{cite book}}: Проігноровано |journal= (довідка)