Author:
Xu Han,Chen Liqian,Fan Guangsheng,Yin Banghu,Wang Ji
Publisher
Springer Nature Singapore
Reference18 articles.
1. Lecture Notes in Computer Science;X Allamigeon,2008
2. Lecture Notes in Computer Science;R Bagnara,2007
3. Bagnara, R., Hill, P.M., Zaffanella, E., Bagnara, A.: The parma polyhedra library. https://www.bugseng.com/ppl
4. Lecture Notes in Computer Science;L Chen,2014
5. Lecture Notes in Computer Science;L Chen,2009