BibTeX record conf/hybrid/NguyenSBJ15

download as .bib file

@inproceedings{DBLP:conf/hybrid/NguyenSBJ15,
  author    = {Luan Viet Nguyen and
               Christian Schilling and
               Sergiy Bogomolov and
               Taylor T. Johnson},
  title     = {HyRG: a random generation tool for affine hybrid automata},
  booktitle = {{HSCC}},
  pages     = {289--290},
  publisher = {{ACM}},
  year      = {2015}
}
maintained by Schloss Dagstuhl LZI at University of Trier