Hendriks, Martijn (1976-)

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

schema:Person
B0130167, p. 1: Martijn Hendriks, Subfaculty of Computer Science, University of Nijmegen
rdfs:label "Hendriks, Martijn (1976-)"
schema:name "Martijn Hendriks"
schema:familyName "Hendriks"
schema:givenName "Martijn"
schema:description "B0130167, p. 1: Martijn Hendriks, Subfaculty of Computer Science, University of Nijmegen"
schema:birthDate "1976"
schema:sameAs <http://viaf.org/viaf/246754277>
wd:Q102292600
<https://isni.org/isni/0000000369348999>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/09b2125aab0a970a803abf39acfc40c4>

Inverse relations

[ .. ] → schema:author → Hendriks, Martijn (1976-)

Enhancing UPPAAL by exploiting symmetry / M. Hendriksschema:ProductModel Exact acceleration of real-time model checking / M. Hendriks, K.G. Larsenschema:ProductModel Model checking timed automata : techniques and applications / Martijn Hendriksschema:ProductModel Translating Uppaal to Not Quite C / M. Hendriksschema:ProductModel Translating Uppaal to Not Quite C / M. Hendriksschema:ProductModel

[ .. ] → schema:contributor → Hendriks, Martijn (1976-)

Adding symmetry reduction to Uppaal / M. Hendriks ... [et al.]schema:ProductModel Het rendement van geluk : inzichten uit de wetenschap en praktijk / prof.dr. Ruut Veenhoven, drs. Efstratia Arampatzi, prof.dr. Arnold Bakker, drs. Maurits Bruel , prof.dr. Harry Commandeur, ir. Jacobine Das Gupta, prof.dr. Paul van Geest, ir. Jos van Haastrecht, drs. Martijn Hendriks, dr. Jolanda Hessels, drs. Guy van Liemt RM, dr. Wido Oerlemans, prof.dr. Henk Volberda, dr. Peter van der Zwanschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql