@prefix schema: .
@prefix gndo: .
@prefix lib: .
@prefix owl: .
@prefix xsd: .
@prefix skos: .
@prefix rdfs: .
@prefix editeur: .
@prefix geo: .
@prefix umbel: .
@prefix naf: .
@prefix rdau: .
@prefix sf: .
@prefix bflc: .
@prefix thesoz: .
@prefix dcterms: .
@prefix isbd: .
@prefix foaf: .
@prefix mesh: .
@prefix ram: .
@prefix mo: .
@prefix marcRole: .
@prefix agrelon: .
@prefix dcmitype: .
@prefix nsogg: .
@prefix dnbt: .
@prefix dbp: .
@prefix embne: .
@prefix rdf: .
@prefix dnb_intern: .
@prefix madsrdf: .
@prefix cidoc: .
@prefix v: .
@prefix ebu: .
@prefix wdrs: .
@prefix gbv: .
@prefix bibo: .
@prefix agrovoc: .
@prefix lcsh: .
@prefix dc: .
a bibo:Document;
dcterms:medium ;
rdau:P60049 ;
rdau:P60050 ;
rdau:P60048 ;
dc:identifier "(DE-101)106820785X";
umbel:isLike ;
dc:identifier "(OCoLC)906186733";
foaf:isPrimaryTopicOf "https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4018";
dcterms:language ;
rdau:P60049 ;
rdau:P60327 "Ilham W. Kurnia. Betreuer: Arnd Poetzsch-Heffter";
dc:title "An Automata-Theoretic Approach to Open Actor System Verification";
marcRole:aut _:node1hpe59dtjx6897085 .
_:node1hpe59dtjx6897085 gndo:preferredName "Kurnia, Ilham W." .
dcterms:creator _:node1hpe59dtjx6897086 .
_:node1hpe59dtjx6897086 gndo:preferredName "Kurnia, Ilham W." .
marcRole:dgs ;
dc:publisher "Technische Universität Kaiserslautern";
rdau:P60163 "Kaiserslautern";
rdau:P60333 "Kaiserslautern : Technische Universität Kaiserslautern";
rdau:P60489 "Kaiserslautern, Technische Universität Kaiserslautern, Diss., 2015";
wdrs:describedby .
dcterms:license ;
dcterms:modified "2023-08-03T08:00:35.000"^^xsd:dateTime .
dcterms:issued "2015";
owl:sameAs .