BibTeX record: conf/isola/Bjorner07

download as .bib file

@inproceedings{DBLP:conf/isola/Bjorner07,
  author    = {Dines Bj{\o}rner},
  title     = {Development of Transportation Systems},
  booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
               Verification and Validation, Poitiers-Futuroscope, France, December
               12-14, 2007},
  pages     = {7},
  year      = {2007},
  crossref  = {DBLP:conf/isola/2007},
  url       = {http://editions-rnti.fr/?inprocid=1000528},
  timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isola/Bjorner07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isola/2007,
  editor    = {Yamine A{\"{\i}}t Ameur and
               Fr{\'{e}}d{\'{e}}ric Boniol and
               Virginie Wiels},
  title     = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
               Verification and Validation, Poitiers-Futuroscope, France, December
               12-14, 2007},
  series    = {Revue des Nouvelles Technologies de l'Information},
  volume    = {{RNTI-SM-1}},
  publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
  year      = {2007},
  url       = {http://editions-rnti.fr/?procid=100068},
  isbn      = {978-2-85428-814-8},
  timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isola/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}