Scalesem - Evaluation of Semantic Graph based on Model Checking.

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle

Browse the full WEBIST paper archive.