BrunetonP99'

@inproceedings{DBLP:conf/adaEurope/BrunetonP99,
  author    = {Eric Bruneton and
               Jean-Fran\c{c}ois Pradat-Peyre},
  title     = {Automatic Verification of Concurrent Ada Programs},
  booktitle = {Ada-Europe},
  year      = {1999},
  pages     = {146-157},
  ee        = {http://dx.doi.org/10.1007/3-540-48753-0_13},
  crossref  = {DBLP:conf/adaEurope/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/adaEurope/1999,
  editor    = {Michael Gonz{\'a}lez Harbour and
               Juan Antonio de la Puente},
  title     = {Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe
               International Conference on Reliable Software Technologies,
               Santander, Spain, June 7-11, 1999, Proceedings},
  booktitle = {Ada-Europe},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1622},
  year      = {1999},
  isbn      = {3-540-66093-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}