@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00688776v1> a dcat:Dataset ;
    dct:description "International audience" ;
    dct:identifier "hal-00688776" ;
    dct:issued "2026-05-21T14:34:15.170921"^^xsd:dateTime ;
    dct:language "en" ;
    dct:modified "2026-05-21T14:34:15.170927"^^xsd:dateTime ;
    dct:publisher <https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> ;
    dct:title "McScM: A General Framework for the Verification of Communicating Machines" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "CCSD" ] ;
    dcat:distribution <https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00688776v1/resource/a8768784-3df9-47e7-99f7-2d6bdf9f8821> ;
    dcat:keyword "abstract-interpretation",
        "armc",
        "cegar",
        "conference-papers",
        "framework",
        "infinite-systems",
        "infoeu-reposemanticsconferenceobject",
        "infoinfo-ohcomputer-science-csother-csoh",
        "lazy-abstraction-refinement",
        "model-checking",
        "ocaml",
        "synthesis",
        "tool" ;
    dcat:landingPage <Tools%20and%20Algorithms%20for%20the%20Construction%20and%20Analysis%20of%20Systems%20-%2018th%20International%20Conference%2C%20TACAS%202012%2C%20Held%20as%20Part%20of%20the%20European%20Joint%20Conferences%20on%20Theory%20and%20Practice%20of%20Software%2C%20ETAPS%202012%2C%20Tallinn%2C%20Estonia%2C%20March%2024%20-%20April%201%2C%202012.%20Proceedings> .

<Tools%20and%20Algorithms%20for%20the%20Construction%20and%20Analysis%20of%20Systems%20-%2018th%20International%20Conference%2C%20TACAS%202012%2C%20Held%20as%20Part%20of%20the%20European%20Joint%20Conferences%20on%20Theory%20and%20Practice%20of%20Software%2C%20ETAPS%202012%2C%20Tallinn%2C%20Estonia%2C%20March%2024%20-%20April%201%2C%202012.%20Proceedings> a foaf:Document .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00688776v1/resource/a8768784-3df9-47e7-99f7-2d6bdf9f8821> a dcat:Distribution ;
    dct:format "HTML" ;
    dct:issued "2026-05-21T14:34:15.187465"^^xsd:dateTime ;
    dct:modified "2026-05-21T14:34:15.139350"^^xsd:dateTime ;
    dct:title "McScM: A General Framework for the Verification of Communicating Machines" ;
    dcat:accessURL <https://hal.science/hal-00688776> .

<https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> a foaf:Agent ;
    foaf:name "test_moissonnage_selune" .