%0 Conference Paper %1 conf/tphol/AagaardJS99 %A Aagaard, Mark %A Jones, Robert B. %A Seger, Carl-Johan H. %B TPHOLs %D 1999 %E Bertot, Yves %E Dowek, Gilles %E Hirschowitz, André %E Paulin-Mohring, Christine %E Théry, Laurent %I Springer %K dblp %P 323-340 %T Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving. %U http://dblp.uni-trier.de/db/conf/tphol/tphol99.html#AagaardJS99 %V 1690 %@ 3-540-66463-7

@inproceedings{conf/tphol/AagaardJS99, added-at = {2017-05-23T00:00:00.000+0200}, author = {Aagaard, Mark and Jones, Robert B. and Seger, Carl-Johan H.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29b0a3a16fe7f499ac607f9cae74d367a/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/1999}, editor = {Bertot, Yves and Dowek, Gilles and Hirschowitz, André and Paulin-Mohring, Christine and Théry, Laurent}, ee = {https://doi.org/10.1007/3-540-48256-3_22}, interhash = {2de74555dfb44e756ae25f78fa2387ad}, intrahash = {9b0a3a16fe7f499ac607f9cae74d367a}, isbn = {3-540-66463-7}, keywords = {dblp}, pages = {323-340}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:19:00.000+0200}, title = {Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol99.html#AagaardJS99}, volume = 1690, year = 1999 }