Amir Pnueli
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Name
# Contributions
Last Contribution
Find more people like Amir Pnueli
Use the Golden Query Tool to discover related individuals, professionals, or experts with similar interests, expertise, or connections in the Knowledge Graph.
