Scalable Static Hybridization Methods for Analysis of Nonlinear Systems (bibtex)
by , , , ,
Reference:
Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash, "Scalable Static Hybridization Methods for Analysis of Nonlinear Systems", In 19th Intl. Conf. on Hybrid Systems: Computation and Control (HSCC 2016), ACM, 2016, apr.
Bibtex Entry:
@InProceedings{bak2016hscc,
  author =    {Stanley Bak and Sergiy Bogomolov and Thomas A. Henzinger and Taylor T. Johnson and Pradyot Prakash},
  title =     {Scalable Static Hybridization Methods for Analysis of Nonlinear Systems},
  booktitle = {19th Intl. Conf. on Hybrid Systems: Computation and Control (HSCC 2016)},
  year =      {2016},
  month =     apr,
  publisher = {ACM},
  owner =     {tjohnson}
}
Powered by bibtexbrowser