%0 Conference Paper %1 journals/entcs/McLaughlinBG06 %A McLaughlin, Sean %A Barrett, Clark W. %A Ge, Yeting %B PDPAR@CAV %D 2005 %E Armando, Alessandro %E Cimatti, Alessandro %I Elsevier %K dblp %N 2 %P 43-51 %T Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. %U http://dblp.uni-trier.de/db/conf/smt/pdpar2005.html#McLaughlinBG06 %V 144

@inproceedings{journals/entcs/McLaughlinBG06, added-at = {2022-12-16T00:00:00.000+0100}, author = {McLaughlin, Sean and Barrett, Clark W. and Ge, Yeting}, biburl = {https://www.bibsonomy.org/bibtex/2975925a15b8554fe12b05907014bf5d7/dblp}, booktitle = {PDPAR@CAV}, crossref = {conf/smt/2005}, editor = {Armando, Alessandro and Cimatti, Alessandro}, ee = {https://doi.org/10.1016/j.entcs.2005.12.005}, interhash = {c83effad8146d5295f3b582edd2bc914}, intrahash = {975925a15b8554fe12b05907014bf5d7}, keywords = {dblp}, number = 2, pages = {43-51}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T02:43:11.000+0200}, title = {Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite.}, url = {http://dblp.uni-trier.de/db/conf/smt/pdpar2005.html#McLaughlinBG06}, volume = 144, year = 2005 }