C
[CTV06] Edmund M. Clarke, Muralidhar Talupur, and Helmut Veith. Environment Abstraction for Parameterized Verification. In VMCAI'06, Lecture Notes in Computer Science 3855, pages 126-141. Springer-Verlag, January 2006. 
@inproceedings{vmcai2006-CTV,
  author =              {Clarke, Edmund M. and Talupur, Muralidhar and Veith,
                         Helmut},
  title =               {Environment Abstraction for Parameterized
                         Verification},
  editor =              {Emerson, E. Allen and Namjoshi, Kedar},
  booktitle =           {{P}roceedings of the 7th {I}nternational {W}orkshop
                         on {V}erification, {M}odel {C}hecking, and
                         {A}bstract {I}nterpretation ({VMCAI}'06)},
  acronym =             {{VMCAI}'06},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {3855},
  pages =               {126-141},
  year =                {2006},
  month =               jan,
  doi =                 {10.1007/11609773_9},
}
List of authors