Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
authornipkow
Wed, 11 Oct 2000 13:33:38 +0200
changeset 10191 e77662e9cabd
parent 10190 871772d38b30
child 10192 4c2584e23ade
*** empty log message ***
doc-src/manual.bib file | annotate | diff | comparison | revisions 
--- 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},
isabelle