Bošnački, Dragan

<http://data.bibliotheken.nl/id/thes/p196779979>

schema:Person
rdfs:label "Bošnački, Dragan"
schema:name "Dragan Bošnački"
schema:familyName "Bošnački"
schema:givenName "Dragan"
schema:sameAs <http://viaf.org/viaf/57529472>
wd:Q102379833
<https://isni.org/isni/0000000078685426>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/cb06bc93974e2dfe0d6d4fc355571376>

Inverse relations

[ .. ] → schema:author → Bošnački, Dragan

Enhancing state space reduction techniques for model checking / Dragan Bošnačkischema:ProductModel

[ .. ] → schema:contributor → Bošnački, Dragan

Enhancing partial-order reduction via process clustering / T. Basten and D. Bošnačkischema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql