C
[CCG+00] Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, and Marco Roveri. NuSMV: A New Symbolic Model Checker. International Journal on Software Tools for Technology Transfer 2(4):410-425. Springer-Verlag, March 2000. 
@article{sttt2(4)-CCGR,
  author =              {Cimatti, Alessandro and Clarke, Edmund M. and
                         Giunchiglia, Fausto and Roveri, Marco},
  title =               {{NuSMV}: A New Symbolic Model Checker},
  publisher =           {Springer-Verlag},
  journal =             {International Journal on Software Tools for
                         Technology Transfer},
  volume =              {2},
  number =              {4},
  pages =               {410-425},
  year =                {2000},
  month =               mar,
}
List of authors