Author:
Lu Qi,Madsen Michael,Milata Martin,Ravn Søren,Fahrenberg Uli,Larsen Kim G.
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference34 articles.
1. Reactive Systems;Aceto,2007
2. Inferring min and max invariants using max-plus polyhedra;Allamigeon,2008
3. Xavier Allamigeon, Stéphane Gaubert, Éric Goubault, Computing the extreme points of tropical polyhedra, 2009. arXiv:0904.3436.
4. The tropical double description method;Allamigeon,2010
5. Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi, An implementation of three algorithms for timing verification based on automata emptiness, in: IEEE Real-Time Systems Symposium, 1992, pp. 157–166.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献