Under the Hood of a Stand-Alone Lagrangian Reachability Tool (bibtex)
by Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu
Reference:
Under the Hood of a Stand-Alone Lagrangian Reachability ToolSophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu GrosuARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019 (Goran Frehse, Matthias Althoff, eds.), volume 61 of EPiC Series in Computing, pages 211–219, 2019, EasyChair.
Bibtex Entry:
@inproceedings{DBLP:conf/cpsweek/GruenbacherCITS19,
  author    = {Sophie Gruenbacher and
               Jacek Cyranka and
               Md. Ariful Islam and
               Max Tschaikowski and
               Scott A. Smolka and
               Radu Grosu},
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {Under the Hood of a Stand-Alone Lagrangian Reachability Tool},
  booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
               and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
               April 15, 2019},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {211--219},
  publisher = {EasyChair},
  year      = {2019},
  url       = {http://www.easychair.org/publications/paper/Rlw3},
  doi       = {10.29007/ns8p},
  timestamp = {Wed, 03 Jul 2019 10:08:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/GruenbacherCITS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser