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
59686d2a88e878b54485eeb56e63d5f0
59686d2a88e878b54485eeb56e63d5f0
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/59686d2a88e878b54485eeb56e63d5f0
Process mining and verification of properties : an approach based on temporal logic / W.M.P. van der Aalst, H.T. de Beer and B.F. van Dongen
mainEntityOfPage
59686d2a88e878b54485eeb56e63d5f0
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/59686d2a88e878b54485eeb56e63d5f0
ppn
275143384
http://www.w3.org/2001/XMLSchema#string
dateCreated
2005-04-27
http://www.w3.org/2001/XMLSchema#date
isPartOf
nbt
license
1-0/
mainEntity
Process mining and verification of properties : an approach based on temporal logic / W.M.P. van der Aalst, H.T. de Beer and B.F. van Dongen
type
AboutPage
sameAs
p275143384