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
p276362403
p276362403
http://data.bibliotheken.nl/id/thes/p276362403
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
De AERA : gedroomde machines en de praktijk van het rekenwerk aan het Mathematisch Centrum te Amsterdam / Gerard Alberts en Huub T. de Beer
contributor
p276362403
http://data.bibliotheken.nl/id/thes/p276362403