Q92649

From Wikidata
Jump to: navigation, search

Amir Pnueli (Q92649)[edit]

Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems [edit]

No aliases defined. [add]

Statements

Amir Pnueli
[edit]
0 references
[add]
22 April 1941
[edit]
1 reference
[add]
/m/01svgc
[edit]
1 reference
[add]
[edit]
0 references
[edit]
0 references
[add]