@inproceedings{twks11,
  AUTHOR    = { Aliaksei Tsitovich and Natasha Sharygina and Christoph M. Wintersteiger and Kroening, Daniel },
  TITLE     = { Loop Summarization and Termination Analysis },
  BOOKTITLE = { Proceedings of TACAS },
  YEAR      = { 2011 },
  PUBLISHER = { Springer },
  SERIES    = { LNCS },
  VOLUME    = { 6605 }
}