Grumberg, Orna

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

schema:Person
rdfs:label "Grumberg, Orna"
schema:name "Orna Grumberg"
schema:familyName "Grumberg"
schema:givenName "Orna"
schema:sameAs wd:Q15995111
<http://viaf.org/viaf/85195028>
<https://isni.org/isni/0000000109954730>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/494b2a2a38796b39af1f4d5596a74f01>

Inverse relations

[ .. ] → schema:contributor → Grumberg, Orna

Abstract interpretation of reactive systems : preservation of CTL / by Dennis Dams, Orna Grumberg and Rob Gerthschema:ProductModel Abstract interpretation of reactive systems : preservation of CTL* / D. Dams, O. Grumberg, R. Gerthschema:ProductModel Abstract interpretation of reactive systems: abstractions preserving ACTL*, ƎCTL* and CTL* / by D. Dams, O. Grumberg and R. Gerthschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql