@InProceedings{MebTin-FMCAD-16,
  author =	 {Alain Mebsout and Cesare Tinelli},
  title =	 {Proof Certificates for {SMT}-based Model Checkers for Infinite-state Systems},
  booktitle =	 {Proceedings of the 16th International Conference on
                  Formal Methods in Computer-Aided Design (Mountain View, CA)},
  pages =	 {117--124},
  year =	 2016,
  editor =	 {R.~Piskac and M.~Talupur},
  publisher =	 {IEEE},
  url       = {https://doi.org/10.1109/FMCAD.2016.7886669},
  doi       = {10.1109/FMCAD.2016.7886669},
}