@inproceedings{DBLP:conf/latin/BellareGR98,
  author    = {Mihir Bellare and
               Juan A. Garay and
               Tal Rabin},
  title     = {Batch Verification with Applications to Cryptography and
               Checking},
  booktitle = {LATIN},
  year      = {1998},
  pages     = {170-191},
  ee        = {http://dx.doi.org/10.1007/BFb0054320},
  crossref  = {DBLP:conf/latin/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/latin/1998,
  editor    = {Claudio L. Lucchesi and
               Arnaldo V. Moura},
  title     = {LATIN '98: Theoretical Informatics, Third Latin American
               Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings},
  booktitle = {LATIN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1380},
  year      = {1998},
  isbn      = {3-540-64275-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}