@InProceedings{frocos02,
  author =       {A. Cimatti and E. Giunchiglia and M. Pistore and M. Roveri and R. Sebastiani and A. Tacchella},
  title =        {{Integrating BDD-based and SAT-based Symbolic Model Checking}},
  booktitle =    {Proc. "Frontiers of Combining Systems, FROCOS'02"},
  year =         {2002},
  volume =       {2309},
  series =       {LNAI},
  address =      {Santa Margherita, Italy},
  month =        {January},
  publisher = {Springer}
}