Coenen, Joseph Albert Adriaan

<http://data.bibliotheken.nl/id/thes/p089900774>

schema:Person
TU Eindhoven
rdfs:label "Coenen, Joseph Albert Adriaan"
schema:name "Joseph Albert Adriaan Coenen"
schema:familyName "Coenen"
schema:givenName "Joseph Albert Adriaan"
schema:description "TU Eindhoven"
schema:sameAs <http://viaf.org/viaf/281631251>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/53e9d486bc294c5b510062e08fc0bdbc>

Inverse relations

[ .. ] → schema:author → Coenen, Joseph Albert Adriaan

A compositional semantics for fault-tolerant real-time systems / J. Coenen and J. Hoomanschema:ProductModel A note on compositional refinement / by J. Coenen, J. Zwiers, W.-P. de Roeverschema:ProductModel Assertional data reification proofs: survey and perspective / by J. Coenen, W.-P. de Roever, J. Zwiersschema:ProductModel Formalisms for program reification and fault tolerance / Joseph Albert Adriaan Coenenschema:ProductModel Specifying fault tolerant programs in deontic logic / by J. Coenenschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql