David Luckham's Publications

1964 - 1999

1972 - 2000

1972 - 2001

1991 - 1999

1993 - 1996

1997 - 1999

ComplexEvents.com

Stanford Rapide™ Project

PAVG

Program Analysis & Verifcation Group