Journey — Amir Pnueli

Profile

Amir Pnueli (אמיר פנואלי): born 1941; died 2009; Israel.

Related theorems

• Temporal logic

Pages

• Person: Amir Pnueli
• Journey: Amir Pnueli
• Transcripts: Amir Pnueli

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People