Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Verifying Semantic Graphs With the Model Checker SPIN.
International journal of digital information and wireless communications (IJDIWC), Hong Kong : Society of Digital Information and Wireless Communications,, 2011, 1 (1), pp.64-74.
⟨hal-00639247⟩