@inproceedings{CArthoABiereVSchuppanPEugsterMBaurBZweimueller-CAV-2004,
  author   = {Cyrille Artho and Viktor Schuppan and Armin Biere and Pascal Eugster and Marcel Baur and Boris Zweim{\"u}ller},
  title    = {{JNuke}: Efficient Dynamic Analysis for {Java}},
  pages    = {462--465},
  crossref = {conf/cav/2004},
  ee       = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3114&spage=462},
}

@proceedings{conf/cav/2004,
  editor    = {Rajeev Alur and Doron A. Peled},
  title     = {Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  booktitle = {CAV'04},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3114},
  year      = {2004},
  isbn      = {3-540-22342-8},
}