BibTeX record conf/isola/HermantG07

download as .bib file

@inproceedings{DBLP:conf/isola/HermantG07,
  author       = {Jean{-}Fran{\c{c}}ois Hermant and
                  Laurent George},
  editor       = {Yamine A{\"{\i}}t Ameur and
                  Fr{\'{e}}d{\'{e}}ric Boniol and
                  Virginie Wiels},
  title        = {A C-space sensitivity analysis of Earliest Deadline First scheduling},
  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        = {21--32},
  publisher    = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
  year         = {2007},
  url          = {http://editions-rnti.fr/?inprocid=1000530},
  timestamp    = {Thu, 24 Apr 2014 17:37:26 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/HermantG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics