BibTeX record conf/emsoft/AllamigeonGGPS15

• > Home > conf/emsoft/AllamigeonGGPS15

@inproceedings{DBLP:conf/emsoft/AllamigeonGGPS15,
  author       = {Xavier Allamigeon and
                  St{\'{e}}phane Gaubert and
                  Eric Goubault and
                  Sylvie Putot and
                  Nikolas Stott},
  editor       = {Alain Girault and
                  Nan Guan},
  title        = {A scalable algebraic method to infer quadratic invariants of switched
                  systems},
  booktitle    = {2015 International Conference on Embedded Software, {EMSOFT} 2015,
                  Amsterdam, Netherlands, October 4-9, 2015},
  pages        = {75--84},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/EMSOFT.2015.7318262},
  doi          = {10.1109/EMSOFT.2015.7318262},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/AllamigeonGGPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}