⌂ Domain Info - formal-methods.de

Tools:
Hosts:

formal-methods.de [134.99.142.9]
www.formal-methods.de [134.99.142.9]

MX hosts:

a2881.mx.srv.dfn.de
b2881.mx.srv.dfn.de
c2881.mx.srv.dfn.de

Authoritative NS:

ns1.arcor-ip.de [145.253.2.19]
ns2.arcor-ip.de [145.253.2.80]
ns3.arcor-ip.de [145.253.3.171]
selene.rz.uni-duesseldorf.de [134.99.128.5]
sirene.rz.uni-duesseldorf.de [134.99.128.2]

Last crawled:

2025-10-09 18:38:08 +0000