BibTeX record conf/hsb/KongBBGHJS16

download as .bib file

@inproceedings{DBLP:conf/hsb/KongBBGHJS16,
  author    = {Hui Kong and
               Ezio Bartocci and
               Sergiy Bogomolov and
               Radu Grosu and
               Thomas A. Henzinger and
               Yu Jiang and
               Christian Schilling},
  title     = {Discrete Abstraction of Multiaffine Systems},
  booktitle = {{HSB}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9957},
  pages     = {128--144},
  year      = {2016}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics