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
2e39702c70e7ebc266755f0673c2b7c9
2e39702c70e7ebc266755f0673c2b7c9
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/2e39702c70e7ebc266755f0673c2b7c9
Transformation of a termination detection algorithm and its assertional correctness proof / Anneke A. Schoone and Gerard Tel
publication
2e39702c70e7ebc266755f0673c2b7c9
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/2e39702c70e7ebc266755f0673c2b7c9
location
da5ec2eebb387b74d5621d60d4dd2595
organizer
24199f4704d418bae795c9675688aac2
startDate
1988
http://www.w3.org/2001/XMLSchema#gYear