<http://experiment.worldcat.org/entity/work/data/62481250#Topic/verifikation> <http://schema.org/name> "Verifikation" .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/verifikation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/verifikation> <http://schema.org/name> "Verifikation." .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/systementwurf> <http://schema.org/name> "Systementwurf" .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/systementwurf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/systementwurf> <http://schema.org/name> "Systementwurf." .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/dialogsystem> <http://schema.org/name> "Dialogsystem" .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/dialogsystem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/dialogsystem> <http://schema.org/name> "Dialogsystem." .
<http://experiment.worldcat.org/entity/work/data/62481250.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/62481250.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/62481250> .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/verteiltes_system_dialogsystem_reaktives_system_systementwurf_formale_spezifikationstechnik_verifikation> <http://schema.org/name> "Verteiltes System Dialogsystem Reaktives System Systementwurf Formale Spezifikationstechnik Verifikation." .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/verteiltes_system_dialogsystem_reaktives_system_systementwurf_formale_spezifikationstechnik_verifikation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/verteiltes_system> <http://schema.org/name> "Verteiltes System" .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/verteiltes_system> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/verteiltes_system> <http://schema.org/name> "Verteiltes System." .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/name> "Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen : formale Basis und Beiträge zur Theorie" .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/62481250#Topic/verteiltes_system_dialogsystem_reaktives_system_systementwurf_formale_spezifikationstechnik_verifikation> .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/workExample> <http://www.worldcat.org/oclc/176762559> .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/62481250#Topic/verifikation> .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/workExample> <http://www.worldcat.org/oclc/723254995> .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/62481250#Topic/dialogsystem> .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2644494794> .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/workExample> <http://www.worldcat.org/oclc/723012036> .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/workExample> <http://www.worldcat.org/oclc/76685890> .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/author> <http://worldcat.org/entity/person/id/2644494794> .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/62481250#Topic/systementwurf> .
<http://worldcat.org/entity/work/id/62481250> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Thesis> .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/62481250#Topic/verteiltes_system> .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/62481250#Topic/reaktives_system> .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/62481250#Topic/formale_spezifikationstechnik> .
<http://worldcat.org/entity/work/id/62481250> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/62481250> <http://schema.org/name> "Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen formale Basis und Beiträge zur Theorie" .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/reaktives_system> <http://schema.org/name> "Reaktives System" .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/reaktives_system> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/reaktives_system> <http://schema.org/name> "Reaktives System." .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/formale_spezifikationstechnik> <http://schema.org/name> "Formale Spezifikationstechnik" .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/formale_spezifikationstechnik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/62481250#Topic/formale_spezifikationstechnik> <http://schema.org/name> "Formale Spezifikationstechnik." .