@inbook{Antonino2017,
  title = "The Automatic Detection of Token Structures and Invariants Using SAT Checking",
  author = "Antonino, Pedro and Gibson-Robinson, Thomas and Roscoe, A. W.",
  year = "2017",
  address = "Berlin, Heidelberg",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II",
  editor = "Legay, Axel and Margaria, Tiziana",
  isbn = "978-3-662-54580-5",
  pages = "249--265",
  publisher = "Springer Berlin Heidelberg",
  url = "http://dx.doi.org/10.1007/978-3-662-54580-5_15",
  doi = "10.1007/978-3-662-54580-5_15",
}