Zwaag, Mark Bastiaan van der

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

schema:Person
rdfs:label "Zwaag, Mark Bastiaan van der"
schema:name "Mark Bastiaan van der Zwaag"
schema:familyName "Zwaag"
schema:givenName "Mark Bastiaan van der"
schema:sameAs <http://viaf.org/viaf/282274955>
<https://isni.org/isni/0000000388996094>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/8046abb1b67596e8fab92e82451f99b9>

Inverse relations

[ .. ] → schema:author → Zwaag, Mark Bastiaan van der

Models and logics for process algebra / Mark Bastiaan van der Zwaagschema:ProductModel Models and logics for process algebra / Mark Bastiaan van der Zwaagschema:ProductModel The cones and foci proof technique for timed transition systems / M.B. van der Zwaagschema:ProductModel Time-stamped actions in pCRL algebras / M.B. van der Zwaagschema:ProductModel

[ .. ] → schema:contributor → Zwaag, Mark Bastiaan van der

Branching time and orthogonal bisimulation equivalence / J.A. Bergstra, A. Ponse, M.B. van der Zwaagschema:ProductModel The logic of ACP / A. Ponse, M.B. van der Zwaagschema:ProductModel The tree identify protocol of IEEE 1394 in →m⇋CRL / C. Shankland, M. van der Zwaagschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql