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
a8ebaf44cb92c8fdb514ba73f2639461
a8ebaf44cb92c8fdb514ba73f2639461
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/a8ebaf44cb92c8fdb514ba73f2639461
Model checking nondeterministic and randomly timed systems / Martin Richard Neuhäußer
publication
a8ebaf44cb92c8fdb514ba73f2639461
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/a8ebaf44cb92c8fdb514ba73f2639461
startDate
2010
http://www.w3.org/2001/XMLSchema#gYear