From: Christiaan Baaij Date: Tue, 26 Jan 2010 15:07:44 +0000 (+0100) Subject: Added reference to FL X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=670b6d6dd2734861d6bbf3dc952e455f12ce464f;p=matthijs%2Fmaster-project%2Fdsd-paper.git Added reference to FL --- diff --git "a/c\316\273ash.bib" "b/c\316\273ash.bib" index cc2b292..dc49b3b 100644 --- "a/c\316\273ash.bib" +++ "b/c\316\273ash.bib" @@ -136,6 +136,21 @@ 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}},