author | nipkow |
Wed, 11 Oct 2000 13:33:38 +0200 | |
changeset 10191 | e77662e9cabd |
parent 10190 | 871772d38b30 |
child 10192 | 4c2584e23ade |
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},