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
4ba8e44a9b92c46781a0465caefe8a39
4ba8e44a9b92c46781a0465caefe8a39
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/4ba8e44a9b92c46781a0465caefe8a39
Alea jacta est : verification of probabilistic, real-time and parametric systems / Mariëlle Ida Antoinette Stoelinga
publication
4ba8e44a9b92c46781a0465caefe8a39
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/4ba8e44a9b92c46781a0465caefe8a39
startDate
2002
http://www.w3.org/2001/XMLSchema#gYear