projects
/
matthijs
/
master-project
/
dsd-paper.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
7f99a76
)
Added reference to FL
author
Christiaan Baaij
<christiaan.baaij@gmail.com>
Tue, 26 Jan 2010 15:07:44 +0000
(16:07 +0100)
committer
Christiaan Baaij
<christiaan.baaij@gmail.com>
Tue, 26 Jan 2010 15:07:44 +0000
(16:07 +0100)
cλash.bib
patch
|
blob
|
history
diff --git
a/cλash.bib
b/cλash.bib
index cc2b292685b7bbc89f17fa2f21368e922385e55b..dc49b3bbf02f0cd9320ebd0f2e85df288019ae9a 100644
(file)
--- a/
cλash.bib
+++ b/
cλash.bib
@@
-136,6
+136,21
@@
timestamp = {2010.01.20}
}
timestamp = {2010.01.20}
}
+@INPROCEEDINGS{FL,
+ author = {{Mark D. Aagaard and Robert B. Jones and Carl-Johan H. Seger}},
+ title = {{Lifted-FL: A Pragmatic Implementation of Combined Model Checking
+ and Theorem Proving}},
+ booktitle = {{Proceedings of 12th International Conference on Theorem Proving
+ in Higher Order Logics}},
+ year = {1999},
+ volume = {1690},
+ series = {LNCS},
+ pages = {323-340},
+ publisher = {Springer Verlag},
+ owner = {darchon},
+ timestamp = {2010.01.26}
+}
+
@INPROCEEDINGS{Hawk1,
author = {Matthews, J. and Cook, B. and Launchbury, J.},
title = {{Microprocessor specification in Hawk}},
@INPROCEEDINGS{Hawk1,
author = {Matthews, J. and Cook, B. and Launchbury, J.},
title = {{Microprocessor specification in Hawk}},