Canh Minh Do, Yati Phyo, Kazuhiro Ogata 0001. A divide and conquer approach to until and until stable model checking. In Rong Peng, Carlos Eduardo Pantoja, Pankaj Kamthan, editors, The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022. pages 388-393, KSI Research Inc., 2022. [doi]
Abstract is missing.