HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models (bibtex)

by S Bak, S Bogomolov and Taylor T. Johnson

Reference:

S Bak, S Bogomolov and Taylor T. Johnson, "HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models", In 18th International Conference on Hybrid Systems: Computation and Control (HSCC'15), ACM, pp. 128–133, 2015.

Bibtex Entry:

@inproceedings{bak2015hscc,
  title = {HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models},
  author = {S Bak and S Bogomolov and Taylor T. Johnson},
  year = {2015},
  month = apr,
  booktitle = {18th International Conference on Hybrid Systems: Computation and Control (HSCC'15)},
  pages = {128--133},
  publisher = {ACM},
  doi = {10.1145/2728606.2728630},
  publabel = {C10},
  pubtype = {C},
  dblp = {conf/hybrid/BakBJ15},
  s2id = {2394876},
  pdf = "research/bak2015hscc.pdf",
}