Pnueli, Amir
Description: Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
see FID Datasets| Property | Value | Label |
|---|---|---|
| Birth Date | 1941-04-22 | ep |
| Birth Location | Nazareth (Region) | ep |
| Death Date | 2009-11-02 | ep |
| Death Location | New York, NY | ep |
| Represents | 1076344267 | ep |
| 22 Rdf Syntax Ns Type | Person | ep |
| Owl Same As 11 |
|
ep |
| Core Alt Label |
|
ep |
| Core Pref Label | Pnueli, Amir | ep |
.jpg)
License: Creative Commons Attribution 2.0
Creator: Dennis Hamilton