Bounded Model Checking of PTACTL Based on SMT
MAO Liang-wen1, XU Liang2,3
Computer and Modernization . 2016, (3): 41 -45 .  DOI: 10.3969/j.issn.1006-2475.2016.03.009