%0 Journal Article %1 journals/tecs/AllamigeonGSGP16 %A Allamigeon, Xavier %A Gaubert, Stéphane %A Stott, Nikolas %A Goubault, Eric %A Putot, Sylvie %D 2016 %J ACM Trans. Embed. Comput. Syst. %K %N 4 %P 69:1-69:20 %T A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. %U http://dblp.uni-trier.de/db/journals/tecs/tecs15.html#AllamigeonGSGP16 %V 15

@article{journals/tecs/AllamigeonGSGP16, added-at = {2023-12-13T06:49:07.000+0100}, author = {Allamigeon, Xavier and Gaubert, Stéphane and Stott, Nikolas and Goubault, Eric and Putot, Sylvie}, biburl = {https://www.bibsonomy.org/bibtex/25faf05a6e676a729b6f3493741a60e9b/admin}, ee = {https://doi.org/10.1145/2932187}, interhash = {b212722c93831970d453c18758df0858}, intrahash = {5faf05a6e676a729b6f3493741a60e9b}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {}, number = 4, pages = {69:1-69:20}, timestamp = {2023-12-13T06:49:07.000+0100}, title = {A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs15.html#AllamigeonGSGP16}, volume = 15, year = 2016 }