%0 Conference Paper %1 conf/cade/BoutonCDF10 %A Bouton, Thomas %A Caminha, Diego %A Déharbe, David %A Fontaine, Pascal %B PAAR@IJCAR %D 2010 %E Schmidt, Renate A. %E Schulz, Stephan %E Konev, Boris %I EasyChair %K dblp %P 33-39 %T GridTPT: a distributed platform for Theorem Prover Testing. %U http://dblp.uni-trier.de/db/conf/cade/paar2010.html#BoutonCDF10 %V 9

@inproceedings{conf/cade/BoutonCDF10, added-at = {2021-08-15T00:00:00.000+0200}, author = {Bouton, Thomas and Caminha, Diego and Déharbe, David and Fontaine, Pascal}, biburl = {https://www.bibsonomy.org/bibtex/27da54e5edb49af07f2b824c8da00a06b/dblp}, booktitle = {PAAR@IJCAR}, crossref = {conf/cade/2010paar}, editor = {Schmidt, Renate A. and Schulz, Stephan and Konev, Boris}, ee = {https://doi.org/10.29007/hk8w}, interhash = {8399a8f7c450f46492c703b3bc395d80}, intrahash = {7da54e5edb49af07f2b824c8da00a06b}, keywords = {dblp}, pages = {33-39}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:55:05.000+0200}, title = {GridTPT: a distributed platform for Theorem Prover Testing.}, url = {http://dblp.uni-trier.de/db/conf/cade/paar2010.html#BoutonCDF10}, volume = 9, year = 2010 }