Linked Data Explorer

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

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

Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion

Open All Close All

type

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

author

http://schema.org/author

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

creator

http://schema.org/creator

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

name

http://schema.org/name

"Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion"

workExample

http://schema.org/workExample