BibTeX record journals/corr/BrimVSF13

download as .bib file

@inproceedings{DBLP:journals/corr/BrimVSF13,
  author    = {Lubos Brim and
               Tomas Vejpustek and
               David Safr{\'{a}}nek and
               Jana Fabrikov{\'{a}}},
  editor    = {Thao Dang and
               Carla Piazza},
  title     = {Robustness Analysis for Value-Freezing Signal Temporal Logic},
  booktitle = {Proceedings Second International Workshop on Hybrid Systems and Biology,
               {HSB} 2013, Taormina, Italy, 2nd September 2013},
  series    = {{EPTCS}},
  volume    = {125},
  pages     = {20--36},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.125.2},
  doi       = {10.4204/EPTCS.125.2},
  timestamp = {Wed, 04 Aug 2021 08:53:45 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BrimVSF13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics