@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 .