Amir Pnueli (Q92649)

From Wikidata
Jump to: navigation, search
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
edit
Language Label Description Also known as
English
Amir Pnueli
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems

    Statements

    0 references
    22 April 1941
    Amir Pnueli
    0 references
    2±0
    0 references

    Identifiers

     
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit