--- a/src/HOL/ex/document/root.bib Thu Apr 28 12:04:34 2005 +0200
+++ b/src/HOL/ex/document/root.bib Thu Apr 28 17:08:08 2005 +0200
@@ -1,3 +1,5 @@
+
+
@TechReport{Gordon:1985:HOL,
author = {M. J. C. Gordon},
@@ -105,3 +107,16 @@
publisher = {Springer},
year = 2002,
note = {LNCS 2283}}
+
+@Misc{McMillan-LectureNotes,
+ author = {Ken McMillan},
+ title = {Lecture notes on verification of digital and hybrid systems},
+ note = {{NATO} summer school, \url{http://www-cad.eecs.berkeley.edu/~kenmcmil/tutorial/toc.html}}
+}
+
+@PhdThesis{McMillan-PhDThesis,
+ author = {Ken McMillan},
+ title = {Symbolic Model Checking: an approach to the state explosion problem},
+ school = {Carnegie Mellon University},
+ year = 1992
+}
\ No newline at end of file