|
rdfs:label
|
"Enhancing UPPAAL by exploiting symmetry / M. Hendriks"
|
|
schema:name
|
"Enhancing UPPAAL by exploiting symmetry"
|
|
schema:author
|
Hendriks, Martijn (1976-)
|
|
Nijmeegs Instituut voor Informatica en Informatiekunde
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/66174781>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/6c1cedbc43c5a073ac48dee931f24f23>
|
|
http://purl.org/dc/terms#issued
|
"2002"
|
|
schema:about
|
computerwiskunde
|
|
algoritmen
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
Technical report / Nijmegen Institute for Computing and Information Sciences
|
|
schema:numberOfPages
|
42
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/f4aadf717eee1707d4e07fbc5ec38047>
|