Bibtex:

@InBook{BCCSZ03,
  AUTHOR    = { Biere, A.
                and Cimatti, A.
                and Clarke, Edmund
                and Strichman, Ofer
                and Zhu, Y. },
  TITLE     = { Bounded Model Checking },
  NOTE      = { (to appear) },
  YEAR      = { 2003 },
  SERIES    = { Advances In Computers },
  NUMBER    = { 60 },
  EDITOR    = { Marvin Zelkowitz },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.