Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/131355296

Temporal verification with transition invariants

Open All Close All

type

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://www.productontology.org/id/Thesis
http://schema.org/CreativeWork

author

http://schema.org/author

http://worldcat.org/entity/person/id/2634465974

creator

http://schema.org/creator

http://worldcat.org/entity/person/id/2634465974

name

http://schema.org/name

"Temporal verification with transition invariants"

workExample

http://schema.org/workExample

http://www.worldcat.org/oclc/315570966
http://www.worldcat.org/oclc/213389649
http://www.worldcat.org/oclc/314937547
http://www.worldcat.org/oclc/723883229

This information is contained in the WorldCat Entities dataset, which is made available under the ODC Attribution license.