Q92649

From Wikidata
Jump to: navigation, search

Amir Pnueli(Q92649)

Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
    No aliases defined
[edit]
Language Label Description Also known as
English
Amir Pnueli
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems

    Statements

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