mcta.informatik.uni-freiburg.de
Preview meta tags from the mcta.informatik.uni-freiburg.de website.
Linked Hostnames
6- 1 link toai.cs.unibas.ch
- 1 link togkiweb.informatik.uni-freiburg.de
- 1 link tojigsaw.w3.org
- 1 link tovalidator.w3.org
- 1 link towww.avacs.org
- 1 link towww.uppaal.com
General Meta Tags
3- titleMcta · Directed Model Checking for Real-time Systems
- Content-Typetext/html; charset=UTF-8
- keywordsmodel checking timed automata, directed model checking, heuristic search
Link Tags
2- shortcut iconfavicon.ico
- stylesheetmcta.css
Emails
1Links
6- http://ai.cs.unibas.ch/people/mwehrle
- http://jigsaw.w3.org/css-validator/check/referer
- http://validator.w3.org/check?uri=referer
- http://www.avacs.org
- http://www.uppaal.com