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
08ad7de29b3d8a93c37e96571e075f5c
08ad7de29b3d8a93c37e96571e075f5c
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/08ad7de29b3d8a93c37e96571e075f5c
Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection / Jakob Zwiers
mainEntityOfPage
08ad7de29b3d8a93c37e96571e075f5c
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/08ad7de29b3d8a93c37e96571e075f5c
ppn
045595372
http://www.w3.org/2001/XMLSchema#string
dateCreated
1988-03-17
http://www.w3.org/2001/XMLSchema#date
isPartOf
nbt
license
1-0/
mainEntity
Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection / Jakob Zwiers
type
AboutPage
sameAs
p045595372