Amir Pnueli · 2009 | ChronoCite

ChronoCite

Public figure timelines

Explore Browse Compare Alerts Methodology About

ChronoCite shows short excerpts with live and archived source links. Full pages are not republished.

Site RSS · Sitemap · How sourcing works · About · Copyright · support@chronocite.org

← Amir Pnueli timeline

Nov 23, 2009Documented record69% confidence

CNET: Amir Pnueli, pioneer of temporal logic, dies at 68

CNETModerate-trust source1 sourceLive source Archived

#news
#headline

Captured 2026-08-23 from CNET. The archived copy is preserved so this citation survives link rot.

Amir Pnueli · 2009 | ChronoCite