@inproceedings{VSchuppanLDarmawan-ATVA-2011,
  author    = {Viktor Schuppan and Luthfi Darmawan},
  title     = {Evaluating {LTL} Satisfiability Solvers},
  pages     = {397--413},
  ee        = {http://dx.doi.org/10.1007/978-3-642-24372-1_28},
  crossref  = {conf/atva/2011},
}

@proceedings{conf/atva/2011,
  editor    = {Tevfik Bultan and Pao-Ann Hsiung},
  title     = {Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
  booktitle = {ATVA'11},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6996},
  year      = {2011},
  isbn      = {978-3-642-24371-4}
}