David Luckham's Publications
1964 - 1999
Computer Science Bibliography - Universität Trier
1972 - 2000
The Collection of Computer Science Bibliographies
1972 - 2001
ACM Portal - The Guide to Computing Literature
ACM Digital Library
1991 - 1999
CiteSeer.IST - Scientific Literature Digital Library
1993 - 1996
Stanford Rapide Project Publications
1997 - 1999
PAVG Complex Event Publications
Stanford Rapide Project
PAVG
Program Analysis & Verifcation Group
Selected Publications
Former Students