BibTeX record conf/formats/BouyerMPS15

download as .bib file

@inproceedings{DBLP:conf/formats/BouyerMPS15,
  author    = {Patricia Bouyer and
               Nicolas Markey and
               Nicolas Perrin and
               Philipp Schlehuber{-}Caissier},
  title     = {Timed-Automata Abstraction of Switched Dynamical Systems Using Control
               Funnels},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 13th International
               Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings},
  pages     = {60--75},
  year      = {2015},
  crossref  = {DBLP:conf/formats/2015},
  url       = {https://doi.org/10.1007/978-3-319-22975-1\_5},
  doi       = {10.1007/978-3-319-22975-1\_5},
  timestamp = {Fri, 06 Sep 2019 10:57:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/BouyerMPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2015,
  editor    = {Sriram Sankaranarayanan and
               Enrico Vicario},
  title     = {Formal Modeling and Analysis of Timed Systems - 13th International
               Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9268},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-22975-1},
  doi       = {10.1007/978-3-319-22975-1},
  isbn      = {978-3-319-22974-4},
  timestamp = {Fri, 06 Sep 2019 10:57:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics