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
ab0975c51dab6a2aa74f293583710966
ab0975c51dab6a2aa74f293583710966
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/ab0975c51dab6a2aa74f293583710966
Process algebra in PVS / by Twan Basten and Jozef Hooman
mainEntityOfPage
ab0975c51dab6a2aa74f293583710966
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/ab0975c51dab6a2aa74f293583710966
ppn
173904114
http://www.w3.org/2001/XMLSchema#string
dateCreated
1998-10-13
http://www.w3.org/2001/XMLSchema#date
isPartOf
nbt
license
1-0/
mainEntity
Process algebra in PVS / by Twan Basten and Jozef Hooman
type
AboutPage
sameAs
p173904114