Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker.
International Conference on Digital Information and Communication Technology and its Applications, Jun 2011, France. pp.519-598.
⟨hal-00617983⟩