BibTeX record conf/isola/RahniGR07

download as .bib file

@inproceedings{DBLP:conf/isola/RahniGR07,
  author       = {Ahmed Rahni and
                  Emmanuel Grolleau and
                  Micha{\"{e}}l Richard},
  editor       = {Yamine A{\"{\i}}t Ameur and
                  Fr{\'{e}}d{\'{e}}ric Boniol and
                  Virginie Wiels},
  title        = {New worst-case analysis technique for real-time transactions},
  booktitle    = {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}},
  pages        = {9--20},
  publisher    = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
  year         = {2007},
  url          = {http://editions-rnti.fr/?inprocid=1000529},
  timestamp    = {Thu, 24 Apr 2014 17:37:26 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/RahniGR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics