K
[KVW15] Igor V. Konnov, Helmut Veith, and Josef Widder. SMT and POR bea Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms. In CAV'15, Lecture Notes in Computer Science 9206, pages 85-102. Springer-Verlag, July 2015. 
@inproceedings{cav2015-KVW,
  author =              {Konnov, Igor V. and Veith, Helmut and Widder, Josef},
  title =               {{SMT} and {POR} bea Counter Abstraction:
                         Parameterized Model Checking of Threshold-Based
                         Distributed Algorithms},
  editor =              {Kroening, Daniel and Pasareanu, Corina S.},
  booktitle =           {{P}roceedings of the 27th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'15)},
  acronym =             {{CAV}'15},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {9206},
  pages =               {85-102},
  year =                {2015},
  month =               jul,
  doi =                 {10.1007/978-3-319-21690-4_6},
}
List of authors