Amir Pnueli
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Currently, there are no issues on this topic.
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.
By using this site, you agree to our Terms of Service.