@inproceedings{NuSMV:CCGM99,
  author =       "A. Cimatti and E.M. Clarke and F. Giunchiglia and M. Roveri",
  title =        "{\sc NuSMV}: a new {S}ymbolic {M}odel {V}erifier",
  booktitle =    "Proceedings {E}leventh {C}onference on {C}omputer-{A}ided {V}erification {(CAV'99)}",
  pages =        "495-499",
  year =         1999,
  editor =       "{N. H}albwachs and {D. P}eled",
  series =       "{L}ecture {N}otes in {C}omputer {S}cience",
  number =       "1633",
  address =      "{T}rento, {I}taly",
  month =        "July",
  publisher =    "{S}pringer"
}