A Method for Linear Temporal Logic Programs Model Checking Based on Büchi Automaton
LUO Qing-sheng
Computer and Modernization . 2010, (8): 58 -61 .  DOI: 10.3969/j.issn.1006-2475.2010.08.017