Amir Pnueli

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

Amir Pnueli

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