Fedor
/
Nederlandse-Bibliografie-Totaal-NBT
/
Login
Register
Netwerk Digitaal Erfgoed
Nederlandse Bibliografie Totaal (NBT)
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
Graphs
1
Services
2
53910f374caf85166559659c600616ff
53910f374caf85166559659c600616ff
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/53910f374caf85166559659c600616ff
Testing reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger Calamé
mainEntityOfPage
53910f374caf85166559659c600616ff
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/53910f374caf85166559659c600616ff
ppn
314319743
http://www.w3.org/2001/XMLSchema#string
dateCreated
2008-09-08
http://www.w3.org/2001/XMLSchema#date
isPartOf
nbt
license
1-0/
mainEntity
Testing reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger Calamé
type
AboutPage
sameAs
p314319743