Lei, Suhua; Cai, Xiaojuan; Ogawa, Mizuhito . (2016). [IEEE 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Shanghai, China (2016.7.17-2016.7.19)] 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Termination and Boundedness for Well-Structured Pushdown Systems. , (), 22–29.
doi:10.1109/tase.2016.30
