Amir Pnueli (Q92649)

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

Statements

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

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit