Yati Phyo, Canh Minh Do, Kazuhiro Ogata 0001. A Divide & Conquer Approach to Leads-to Model Checking. Comput. J., 65(6):1353-1364, 2022. [doi]
@article{PhyoDO22, title = {A Divide & Conquer Approach to Leads-to Model Checking}, author = {Yati Phyo and Canh Minh Do and Kazuhiro Ogata 0001}, year = {2022}, doi = {10.1093/comjnl/bxaa183}, url = {https://doi.org/10.1093/comjnl/bxaa183}, researchr = {https://researchr.org/publication/PhyoDO22}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {65}, number = {6}, pages = {1353-1364}, }