De Nicola, Rocco

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

schema:Person
e-mail adres: denicolavm.cnuce.cnr.it
rdfs:label "De Nicola, Rocco"
schema:name "Rocco De Nicola"
schema:familyName "De Nicola"
schema:givenName "Rocco"
schema:description "e-mail adres: denicolavm.cnuce.cnr.it"
schema:sameAs <https://isni.org/isni/0000000035203423>
wd:Q62559716
<http://viaf.org/viaf/22876634>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/2d8582452997a30340da2b7c1dc5a428>

Inverse relations

[ .. ] → schema:contributor → De Nicola, Rocco

Branching bisimulation as a strong bisimulation / A. Bouali, R. De Nicolaschema:ProductModel

[ .. ] → schema:author → De Nicola, Rocco

Back and forth bisimulations / R. De Nicola, U. Montanari, F.W. Vaandragerschema:ProductModel Three logics for branching bisimulation / R. De Nicola, F.W. Vaandragerschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql