SNR 2015), Co-Located with the 27th International Conference on Computer Aided Verification (CAV 2015)"/> SNR 2015), Co-Located with the 27th International Conference on Computer Aided Verification (CAV 2015)"/> HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models (bibtex)
HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models (bibtex)
by , ,
Reference:
Stanley Bak, Sergiy Bogomolov, 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 2015), Co-Located with the 27th International Conference on Computer Aided Verification (CAV 2015), San Francisco, California, 2015, jul.
Bibtex Entry:
@inproceedings{bak2015snr,
  author	= {Stanley Bak and Sergiy Bogomolov and Taylor T. Johnson},
  title		= {HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models},
  year		= {2015},
  month		= jul,
  Booktitle	= {1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis
 (<a href="http://snrworkshop.github.io/">SNR 2015</a>), Co-Located with the 27th International Conference on Computer Aided Verification (<a href="http://i-cav.org/2015/">CAV 2015</a>)},
  address	= {San Francisco, California},
  pdf		= {http://www.taylortjohnson.com/research/bak2015snr.pdf},
}
Powered by bibtexbrowser