DMCA

Verifying Semantic Graphs with the Model Checker SPIN (2011)

by Mahdi Gueffaz , Sylvain Rampacek , Christophe Nicolle