This HTML5 document contains 1 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
skoshttp://www.w3.org/2004/02/skos/core#
isachttp://webisa.webdatacommons.org/concept/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://webisa.webdatacommons.org/concept/formal+
Subject Item
isac:model_checking_
skos:broader
n4:analysis_technique_