Kazuhiro Ogata, Min Zhang 0002. A Divide and Conquer Approach to Model Checking of Liveness Properties. In 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013. pages 648-657, IEEE Computer Society, 2013. [doi]
Abstract is missing.