*** empty log message ***
authornipkow
Wed Oct 11 13:33:38 2000 +0200 (2000-10-11)
changeset 10191e77662e9cabd
parent 10190 871772d38b30
child 10192 4c2584e23ade
*** empty log message ***
doc-src/manual.bib
     1.1 --- a/doc-src/manual.bib	Wed Oct 11 13:20:27 2000 +0200
     1.2 +++ b/doc-src/manual.bib	Wed Oct 11 13:33:38 2000 +0200
     1.3 @@ -197,6 +197,9 @@
     1.4    volume	= 5,
     1.5    pages		= "56-68"}
     1.6  
     1.7 +@book{ClarkeGP-book,author="Edmund Clarke and Orna Grumberg and Doron Peled",
     1.8 +title="Model Checking",publisher=MIT,year=1999}
     1.9 +
    1.10  @PhdThesis{coen92,
    1.11    author	= {Martin D. Coen},
    1.12    title		= {Interactive Program Derivation},