Author:
Borralleras Cristina,Brockschmidt Marc,Larraz Daniel,Oliveras Albert,Rodríguez-Carbonell Enric,Rubio Albert
Publisher
Springer Berlin Heidelberg
Reference46 articles.
1. Lecture Notes in Computer Science;E Albert,2008
2. Lecture Notes in Computer Science;C Alias,2010
3. Bagnara, R., Mesnard, F., Pescetti, A., Zaffanella, E.: A new look at the automatic synthesis of linear ranking functions. IC 215, 47–67 (2012)
4. Lecture Notes in Computer Science;A Bakhirkin,2016
5. Ben-Amram, A.M., Genaim, S.: On the linear ranking problem for integer linear-constraint loops. In: POPL (2013)
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献