Linked Data Explorer

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

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

An execution trace verification method on linearizability

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
http://schema.org/Book

about

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/907409822#Topic/parallelverarbeitung
http://experiment.worldcat.org/entity/work/data/907409822#Topic/programmierung
http://experiment.worldcat.org/entity/work/data/907409822#Topic/programmverifikation

author

http://schema.org/author

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

creator

http://schema.org/creator

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

name

http://schema.org/name

"An execution trace verification method on linearizability"

workExample

http://schema.org/workExample

http://www.worldcat.org/oclc/794525549
http://www.worldcat.org/oclc/844897661
http://www.worldcat.org/oclc/729353932

Parallelverarbeitung.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Parallelverarbeitung."

http://experiment.worldcat.org/entity/work/data/907409822#Topic/parallelverarbeitung

Programmierung.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Programmierung."

http://experiment.worldcat.org/entity/work/data/907409822#Topic/programmierung

Programmverifikation.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Programmverifikation."

http://experiment.worldcat.org/entity/work/data/907409822#Topic/programmverifikation

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