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
4282a6e1f5a31bfa784e1bf9b00b548a
4282a6e1f5a31bfa784e1bf9b00b548a
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/4282a6e1f5a31bfa784e1bf9b00b548a
Assertional verification of a termination detection algorithm / A.A. Schoone and G. Tel
mainEntityOfPage
4282a6e1f5a31bfa784e1bf9b00b548a
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/4282a6e1f5a31bfa784e1bf9b00b548a
ppn
056445091
http://www.w3.org/2001/XMLSchema#string
dateCreated
1989-11-02
http://www.w3.org/2001/XMLSchema#date
isPartOf
nbt
license
1-0/
mainEntity
Assertional verification of a termination detection algorithm / A.A. Schoone and G. Tel
type
AboutPage
sameAs
p056445091