owl.model.in.tum.de

Preview meta tags from the owl.model.in.tum.de website.

Linked Hostnames

12

Search Engine Appearance

Google

https://owl.model.in.tum.de/

Owl

A command-line tool and a library for Omega-words, ω-automata and Linear Temporal Logic (LTL).



Bing

Owl

https://owl.model.in.tum.de/

A command-line tool and a library for Omega-words, ω-automata and Linear Temporal Logic (LTL).



DuckDuckGo

https://owl.model.in.tum.de/

Owl

A command-line tool and a library for Omega-words, ω-automata and Linear Temporal Logic (LTL).

  • General Meta Tags

    7
    • title
      Owl | A command-line tool and a library for Omega-words, ω-automata and Linear Temporal Logic (LTL).
    • charset
      UTF-8
    • X-UA-Compatible
      IE=edge
    • viewport
      width=device-width, initial-scale=1
    • generator
      Jekyll v4.2.1

  • Open Graph Meta Tags

    6
    • og:title
      Owl
    • US country flagog:locale
      en_US
    • og:description
      A command-line tool and a library for Omega-words, ω-automata and Linear Temporal Logic (LTL).
    • og:url
      https://owl.model.in.tum.de/
    • og:site_name
      Owl

  • Twitter Meta Tags

    1
    • twitter:card
      summary

  • Link Tags

    2
    • canonical
      https://owl.model.in.tum.de/
    • stylesheet
      /assets/css/style.css

Links

26