— LodView

http://dbpedia.org/resource/Protocol_modeling_and_verification

data from the linked data cloud

download lodview to publish your data

data from: http://dbpedia.org/sparql
view on LodLive
view as: xml, ntriples, turtle, ld+json