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.
    [edit]

    Statements

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