@InProceedings{ChaEtAl-CAV-16,
  author = {Adrien Champion and Alain Mebsout and Christoph Sticksel and Cesare Tinelli},
  title = {The Kind 2 Model Checker},
  bookTitle = {Proceedings of the 28th International Conference on Computer Aided Verification, Toronto, ON, Canada},
  year = 2016,
  editor = {Swarat Chaudhuri and Azadeh Farzan},
  publisher = {Springer},
  pages = {510--517},
  series = {Lecture Notes in Computer Science},
  volume =  9780,
  url       = {https://doi.org/10.1007/978-3-319-41540-6_29},
  doi       = {10.1007/978-3-319-41540-6_29},
    
}