Cited By
View all- Ogata K(2019)A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptionsFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-017-7036-213:1(51-72)Online publication date: 1-Feb-2019