Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Tropical Fourier–Motzkin elimination, with an application to real-time verificationInternational Journal of Algebra and Computation, 2014, 24 (5), pp.569 - 607. ⟨10.1142/S0218196714500258⟩
Journal articles
hal-01087367v1
|