TY  - RPRT
TI  - Tropical Fourier-Motzkin elimination, with an application to real-time verification
AU  - Xavier Allamigeon
AU  - Uli Fahrenberg
AU  - Stéphane Gaubert
AU  - Ricardo D. Katz
AU  - Axel Legay
PY  - 2014
DO  - 10.1142/s0218196714500258
UR  - https://arxiv.org/abs/1308.2122
ID  - 1308.2122
ER  -