BibTeX record conf/ddecs/HerbstrittBAH07

• > Home > conf/ddecs/HerbstrittBAH07

@inproceedings{DBLP:conf/ddecs/HerbstrittBAH07,
  author       = {Marc Herbstritt and
                  Bernd Becker and
                  Erika {\'{A}}brah{\'{a}}m and
                  Christian Herde},
  editor       = {Patrick Girard and
                  Andrzej Krasniewski and
                  Elena Gramatov{\'{a}} and
                  Adam Pawlak and
                  Tomasz Garbolino},
  title        = {On Variable Selection in SAT-LP-based Bounded Model Checking of Linear
                  Hybrid Automata},
  booktitle    = {Proceedings of the 10th {IEEE} Workshop on Design {\&} Diagnostics
                  of Electronic Circuits {\&} Systems {(DDECS} 2007), Krak{\'{o}}w,
                  Poland, April 11-13, 2007},
  pages        = {391--396},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/DDECS.2007.4295318},
  doi          = {10.1109/DDECS.2007.4295318},
  timestamp    = {Fri, 24 Mar 2023 00:04:14 +0100},
  biburl       = {https://dblp.org/rec/conf/ddecs/HerbstrittBAH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}