DMCA

Temporal Logic To Query Semantic Graphs Using The Model Checking Method (2012)

by Mahdi Gueffaz , Sylvain Rampacek , Christophe Nicolle