RDF/ XML Syntax Specification (Revised). W3C recommandationREC-rdf-syntax-gramma r, 2004. ,
Principles of the SPIN Model Checker, pp.978-979, 2008. ,
The Semantic Web. Scientific American, pp.34-43, 2001. ,
Extensible Markup Language (XML) 1.1 (second edition) W3C recommendation, pp.11-20060816, 2006. ,
NUSMV: a new symbolic model checker, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, 2000. ,
DOI : 10.1007/s100090050046
Annotea, Proceedings of the tenth international conference on World Wide Web , WWW '01, 2001. ,
DOI : 10.1145/371920.372166
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977. ,
DOI : 10.1109/SFCS.1977.32