TY - Front. Comput. Sci. A1 - Kazuhiro OGATA T1 - A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions Y1 - 2019-01-31 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 51 EP - 72 VL - 13 IS - 1 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-017-7036-2 ER -