Author:
Bogomolov Sergiy,Frehse Goran,Giacobbe Mirco,Henzinger Thomas A.
Publisher
Springer Berlin Heidelberg
Reference39 articles.
1. GLPK (GNU linear programming kit). www.gnu.org/software/glpk
2. Lecture Notes in Computer Science;A Albarghouthi,2013
3. Alizadeh, F., Goldfarb, D.: Second-order cone programming. Math. Program. 95(1), 3–51 (2003)
4. Lecture Notes in Computer Science;R Alur,2003
5. Alur, R., Henzinger, T.A., Ho, P.: Automatic symbolic verification of embedded systems. In: RTSS. IEEE Computer Society (1993)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献