BibTeX record conf/adhs/AlthoffB0FFFKLM18

download as .bib file

  author    = {Matthias Althoff and
               Stanley Bak and
               Xin Chen and
               Chuchu Fan and
               Marcelo Forets and
               Goran Frehse and
               Niklas Kochdumper and
               Yangge Li and
               Sayan Mitra and
               Rajarshi Ray and
               Christian Schilling and
               Stefan Schupp},
  title     = {{ARCH-COMP18} Category Report: Continuous and Hybrid Systems with
               Linear Continuous Dynamics},
  booktitle = {ARCH@ADHS},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {23--52},
  publisher = {EasyChair},
  year      = {2018}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics