Bibtex:

@article{cks2007-tcs,
  AUTHOR    = { Cook, Byron
                and Kroening, Daniel
                and Sharygina, Natasha },
  TITLE     = { Verification of {Boolean} Programs with Unbounded Thread Creation },
  YEAR      = { 2007 },
  PUBLISHER = { Elsevier },
  PAGES     = { 227--242 },
  JOURNAL   = { Theoretical Computer Science (TCS) },
  VOLUME    = { 388 },
}

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