www.prismmodelchecker.org
Preview meta tags from the www.prismmodelchecker.org website.
Linked Hostnames
9- 36 links towww.prismmodelchecker.org
- 3 links towww.cs.ox.ac.uk
- 2 links togithub.com
- 2 links togroups.google.com
- 1 link toetaps.org
- 1 link tomy.corehr.com
- 1 link toscholar.google.com
- 1 link towww.dcs.gla.ac.uk
General Meta Tags
3- titlePRISM - Probabilistic Symbolic Model Checker
- Content-Typetext/html; charset=UTF-8
- keywordsprism, probabilistic, symbolic, model, checker, verification, oxford, parker, norman, kwiatkowska
Link Tags
6- icon/images/prism.ico
- shortcut icon/images/prism.ico
- stylesheet/css/base.css
- stylesheet/css/prism.css
- stylesheet/css/print.css
Links
48- http://groups.google.com/group/prismmodelchecker
- http://groups.google.com/group/prismmodelchecker-dev
- http://www.cs.ox.ac.uk/people/marta.kwiatkowska
- http://www.dcs.gla.ac.uk/people/personal/gethin
- http://www.gnu.org/licenses/gpl.html