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 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR'15), 2015.

Bibtex Entry:

@inproceedings{bak2015snr,
  title = {HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models},
  author = {S Bak and S Bogomolov and Taylor T. Johnson},
  year = {2015},
  booktitle = {1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR'15)},
  publabel = {W5},
  pubtype = {W},
  dblp = {conf/hybrid/BakBJ15},
  pdf = "research/bak2015snr.pdf",
}