adl.github.io/hoaf
Preview meta tags from the adl.github.io website.
Linked Hostnames
9- 11 links togithub.com
- 4 links toadl.github.io
- 4 links todx.doi.org
- 3 links towww.lrde.epita.fr
- 2 links towww.ltl2dstar.de
- 1 link toarxiv.org
- 1 link toautomata.rwth-aachen.de
- 1 link toi-cav.org
General Meta Tags
5- titleThe Hanoi Omega-Automata Format
- Content-Typetext/html; charset=utf-8
- Content-Style-Typetext/css
- viewportwidth=device-width, initial-scale=1
- generatorpandoc
Link Tags
2- iconhttp://adl.github.com/hoaf/hoa-icon-small.png
- stylesheetpandoc.css
Links
28- http://adl.github.io/hoaf
- http://adl.github.io/hoaf/examples.html
- http://adl.github.io/hoaf/hoaf.pdf
- http://adl.github.io/hoaf/support.html
- http://arxiv.org/abs/1204.5057