%0 Journal Article %1 journals/ijac/AllamigeonFGKL14 %A Allamigeon, Xavier %A Fahrenberg, Uli %A Gaubert, Stéphane %A Katz, Ricardo David %A Legay, Axel %D 2014 %J Int. J. Algebra Comput. %K %N 5 %P 569-608 %T Tropical Fourier-Motzkin elimination, with an application to real-time verification. %U http://dblp.uni-trier.de/db/journals/ijac/ijac24.html#AllamigeonFGKL14 %V 24

@article{journals/ijac/AllamigeonFGKL14, added-at = {2023-12-13T03:13:12.000+0100}, author = {Allamigeon, Xavier and Fahrenberg, Uli and Gaubert, Stéphane and Katz, Ricardo David and Legay, Axel}, biburl = {https://www.bibsonomy.org/bibtex/21c3242a476667079361baa9f1b3f6918/admin}, ee = {https://doi.org/10.1142/S0218196714500258}, interhash = {88c86a13c4c7a87e372c456f7a0cbba2}, intrahash = {1c3242a476667079361baa9f1b3f6918}, journal = {Int. J. Algebra Comput.}, keywords = {}, number = 5, pages = {569-608}, timestamp = {2023-12-13T03:13:12.000+0100}, title = {Tropical Fourier-Motzkin elimination, with an application to real-time verification.}, url = {http://dblp.uni-trier.de/db/journals/ijac/ijac24.html#AllamigeonFGKL14}, volume = 24, year = 2014 }