autonomy-and-verification.github.io/tools/mcapl
Preview meta tags from the autonomy-and-verification.github.io website.
Linked Hostnames
17- 9 links toautonomy-and-verification.github.io
- 8 links todoi.org
- 3 links todx.doi.org
- 2 links togithub.com
- 2 links tolink.springer.com
- 2 links tozenodo.org
- 1 link todocs.google.com
- 1 link toieeexplore.ieee.org
General Meta Tags
15- titleModel Checking Agent Programming Language | Autonomy and Verification Network
- charsetutf-8
- X-UA-CompatibleIE=edge
- viewportwidth=device-width, initial-scale=1
- authorAutonomy and Verification Network
Link Tags
7- alternatehttps://autonomy-and-verification.github.io/atom.xml
- canonicalhttps://autonomy-and-verification.github.io/tools/mcapl
- iconhttps://autonomy-and-verification.github.io/favicon.ico
- stylesheethttps://www.w3schools.com/w3css/4/w3.css
- stylesheethttps://autonomy-and-verification.github.io/css/main.css
Links
37- http://doi.org/10.1109/JPROC.2019.2898267
- http://dx.doi.org/10.1007/s10515-011-0088-x
- http://dx.doi.org/10.1016/j.robot.2015.11.012
- http://dx.doi.org/10.1093/logcom/exv002
- http://link.springer.com/article/10.1007/s10515-014-0168-9