Backlink stats tla.msr-inria.inria.fr

• Linkpop:	79
• Domainpop:	27
• IP-Pop:	23
• ClassC-Pop:	20

Referring Domains Referring Pages Recently Discovered Top Pages Status Codes Anchor Text Reverse IP

CSV

	Domain	IP	Referring Pages	DomainRank
1	xxxx://xxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	1	9
2	http://www.lix.polytechnique.fr \| Details ► http://www.lix.polytechnique.fr/Labo/Dale.Miller/parsifal/select2013.html	193.55.176.29	1	8
3	xxxx://xxx.xx.xxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	1	8
4	http://lamport.azurewebsites.net \| Details ► http://lamport.azurewebsites.net/tla/toolbox.html	40.84.226.176	28	7
5	xxxx://xxxxxxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	6	7

6	http://www.swmath.org \| Details ► http://www.swmath.org/software/9528	141.66.193.30	2	6
7	xxxx://xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xxx.xxx	2	6
8	http://www.bytesin.com \| Details ► http://www.bytesin.com/software/download-link-3/160215/	212.7.211.15	1	6
9	xxxx://xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	1	6
10	http://pron.github.io \| Details ► http://pron.github.io/posts/tlaplus_part2	185.199.110.153	5	5
11	xxxx://xxxxxxx.xxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	2	5
12	http://itp19.cecs.pdx.edu \| Details ► http://itp19.cecs.pdx.edu//history/index.html	131.252.208.114	2	5
13	xxxx://xxxxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xxx.xxx	1	5
14	http://lists.seas.upenn.edu \| Details ► http://lists.seas.upenn.edu/pipermail/types-announce/2013/003874.html	158.130.69.24	1	5
15	xxxx://xxx.xxxxxxx.xxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xx	1	5
16	http://ahelwer.ca \| Details ► http://ahelwer.ca/post/2023-02-04-cpp-bugs/	35.185.44.232	2	4
17	xxxx://xxxxxxxxxxx.xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	2	4
18	http://itp-conference.github.io \| Details ► http://itp-conference.github.io/	185.199.109.153	2	4
19	xxxx://xxxxxxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	2	4
20	http://www.learntla.com \| Details ► http://www.learntla.com/reference/other-resources.html	13.33.243.77	2	4
21	xxxx://xxxxxxx.xxxxx.xxxxxxx.xx ► Please log in first to see full page URL. Create Account!	x.xxx.xxx.xxx	1	4
22	http://isabelle.systems \| Details ► http://isabelle.systems/zulip-archive/stream/336180-Archive-Mirror.3A-Isabelle-Users-Mailing-List/topic/.5Bisabelle.5D.20post-doctoral.20position.20at.20MSR-INRIA.2C.20Paris.html	185.199.110.153	1	4
23	xxxx://xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xx	5	3
24	http://apalache.informal.systems \| Details ► http://apalache.informal.systems/docs/adr/002adr-types.html	185.199.109.153	4	3
25	xxxx://xxxxx.xxxxxxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xx.xxx	1	3
26	http://keikonakata.github.io \| Details ► http://keikonakata.github.io/distr/2021-07-24-TLA.html	185.199.108.153	1	3
27	xxxx://xxxxx.xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	3