@inproceedings{gueffaz:hal-00617975, TITLE = {{A new approach based on N$\mu$SMV Model to query semantic graph}}, AUTHOR = {Gueffaz, Mahdi and Rampacek, Sylvain and Nicolle, Christophe}, URL = {https://u-bourgogne.hal.science/hal-00617975}, BOOKTITLE = {{International Conference on Digital Information Processing and Communications}}, ADDRESS = {Ostrava, Czech Republic}, PUBLISHER = {{Springer-Verlag}}, VOLUME = {I}, NUMBER = {188}, PAGES = {510-524}, YEAR = {2011}, MONTH = Jul, KEYWORDS = {Model Checking ; Temporal logic ; N$\mu$SMV ; Query checking ; SPARQL ; temporal logic query ; Semantic graph ; RDF}, PDF = {https://u-bourgogne.hal.science/hal-00617975/file/A_new_approach_based_on_NI_SMV_Model_to_query_semantic_graph.pdf}, HAL_ID = {hal-00617975}, HAL_VERSION = {v1}, }