Home
SPARQL
Adding symmetry reduction to Uppaal / M. Hendriks ... [et al.]
<http:/
/
data.bibliotheken.nl/
id/
nbt/
p265749409>
schema:
ProductModel
schema:
Book
schema:
CreativeWork
rdfs:
label
"Adding symmetry reduction to Uppaal / M. Hendriks ... [et al.]"
schema:
name
"Adding symmetry reduction to Uppaal"
schema:
author
Nijmeegs Instituut voor Informatica en Informatiekunde
schema:
contributor
Hendriks, Martijn (1976-)
schema:
same
As
<http:/
/
www.worldcat.org/
oclc/
66600379>
schema:
main
Entity
Of
Page
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
9ea6f678f844e6e2d5de03fa1911377a>
http:/
/
purl.org/
dc/
terms#
issued
"2004"
schema:
about
computerwiskunde
algoritmen
schema:
in
Language
"en"
schema:
is
Part
Of
Technical report / Nijmegen Institute for Computing and Information Sciences
schema:
number
Of
Pages
21
schema:
publication
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
8db5cab50d39e12147c7b17cbc8b143a>
Download as:
RDF/XML
JSON-LD
Turtle
data from SPARQL endpoint:
https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql