Pnueli, Amir
Description: Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
see FID Datasets| Property | Value | Label |
|---|---|---|
| Gnd Gnd Identifier |
|
gnd-persons |
| Birth Date | 1941-04-22 | gnd-persons |
| Birth Location | Nazareth (Region) | gnd-persons |
| Birth Location U R I | 294098 | geo-enriched |
| Death Date | 2009-11-02 | gnd-persons |
| Death Location | New York, NY | gnd-persons |
| Occupation | Informatiker | gnd-persons |
| is Represents of | 1008874 | ep |
| 22 Rdf Syntax Ns Type | Person | gnd-persons |
| Owl Same As 10 |
|
gnd-persons |
| is Owl Same As of | 1008874 | ep |
| Core Alt Label |
|
gnd-persons |
| Core Pref Label | Pnueli, Amir | gnd-persons |
.jpg)
License: Creative Commons Attribution 2.0
Creator: Dennis Hamilton