# HG changeset patch # User nipkow # Date 971264018 -7200 # Node ID e77662e9cabd3fb22c33b7ce4b308acc3dfe08ed # Parent 871772d38b305dec1e2a264653dad86c47db01e2 *** empty log message *** diff -r 871772d38b30 -r e77662e9cabd doc-src/manual.bib --- a/doc-src/manual.bib Wed Oct 11 13:20:27 2000 +0200 +++ b/doc-src/manual.bib Wed Oct 11 13:33:38 2000 +0200 @@ -197,6 +197,9 @@ volume = 5, pages = "56-68"} +@book{ClarkeGP-book,author="Edmund Clarke and Orna Grumberg and Doron Peled", +title="Model Checking",publisher=MIT,year=1999} + @PhdThesis{coen92, author = {Martin D. Coen}, title = {Interactive Program Derivation},