Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Rebeca Modeling |
Description | Welcome to the Homepage of Rebeca Formal Modeling |
Keywords | N/A |
WebSite | rebeca-lang.org |
Host IP | 172.67.190.103 |
Location | United States |
Site | Rank |
US$2,724,015
Last updated: 2023-05-14 04:22:46
rebeca-lang.org has Semrush global rank of 3,885,553. rebeca-lang.org has an estimated worth of US$ 2,724,015, based on its estimated Ads revenue. rebeca-lang.org receives approximately 314,310 unique visitors each day. Its web server is located in United States, with IP address 172.67.190.103. According to SiteAdvisor, rebeca-lang.org is safe to visit. |
Purchase/Sale Value | US$2,724,015 |
Daily Ads Revenue | US$2,515 |
Monthly Ads Revenue | US$75,435 |
Yearly Ads Revenue | US$905,211 |
Daily Unique Visitors | 20,954 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
rebeca-lang.org. | A | 300 | IP: 172.67.190.103 |
rebeca-lang.org. | A | 300 | IP: 104.21.36.81 |
rebeca-lang.org. | AAAA | 300 | IPV6: 2606:4700:3031::6815:2451 |
rebeca-lang.org. | AAAA | 300 | IPV6: 2606:4700:3035::ac43:be67 |
rebeca-lang.org. | NS | 86400 | NS Record: arch.ns.cloudflare.com. |
rebeca-lang.org. | NS | 86400 | NS Record: aida.ns.cloudflare.com. |
Rebeca Home AdaptiveFlow Afra CRYSTAL: CybeR-physical sYstem SecuriTy AnaLysis CSMA-CD Commit Problem Dining Philosophers Fault Tolerant NoC 4x4 Hybrid Rebeca Jacco Leader Election Probabilistic Timed Rebeca Probabilistic Timed Rebeca Probabilistic Sensor Network Probabilistic Ticket Service Producer Consumer RMC: Rebeca Model Checking Engine ReGen ReUML Designer Rebeca Rebeca to Erlang Transformer Rebeca to Promela Rebeca to SMV Rebeca Distributed Model Checker RoboRebeca Roudabeh (Rebeca Verifier) Sarir: Rebeca to mCRL2 translator SEADA: Self-Adaptive Actors Sender Receiver Spanning Tree Protocol Statistical Model Checker for Timed Rebeca Models Sysfier TARO (Timed Rebeca) Timed Rebeca to Realtime Maude Transformation Tangramob Ticket Service System Train Controller About Documents Projects Publications Tools wRebeca: Efficient Modeling of Mobile Ad hoc Networks --> Projects Tools Documents Examples Publications About Home AdaptiveFlow Afra CRYSTAL: |
HTTP/1.1 200 OK Date: Wed, 22 Dec 2021 18:33:22 GMT Content-Type: text/html; charset=utf-8 Connection: keep-alive last-modified: Tue, 03 Aug 2021 10:34:38 GMT vary: Accept-Encoding access-control-allow-origin: * expires: Wed, 22 Dec 2021 18:43:22 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 2BAC:38DA:345CAB:66B3E2:61C36F72 CF-Cache-Status: DYNAMIC Report-To: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=jKfRqqSk9W4PjMJDJBdXNgPghV7RY408za%2Bc4Xto4EKmF5qFd0MAYlOpMhlMAh1WE4v%2FBzWV7STBlxJncA9Q5ceksmlM0BL4kdKUIJ6ySSKx%2BG0z1%2BgcctwrQ%2FatNYkRvt0%3D"}],"group":"cf-nel","max_age":604800} NEL: {"success_fraction":0,"report_to":"cf-nel","max_age":604800} Server: cloudflare CF-RAY: 6c1b7029faec8cb4-EWR alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400, h3-28=":443"; ma=86400, h3-27=":443"; ma=86400 |
Domain Name: REBECA-LANG.ORG Registry Domain ID: D163854757-LROR Registrar WHOIS Server: whois.tucows.com Registrar URL: http://www.tucows.com Updated Date: 2021-11-09T15:15:03Z Creation Date: 2011-11-13T06:59:11Z Registry Expiry Date: 2022-11-13T06:59:11Z Registrar: Tucows Domains Inc. Registrar IANA ID: 69 Registrar Abuse Contact Email: domainabuse@tucows.com Registrar Abuse Contact Phone: +1.4165350123 Domain Status: ok https://icann.org/epp#ok Registrant Organization: Data Protected Registrant State/Province: ON Registrant Country: CA Name Server: AIDA.NS.CLOUDFLARE.COM Name Server: ARCH.NS.CLOUDFLARE.COM DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-12-26T04:41:59Z <<< |