1. A Divide & Conquer Approach to Leads-to Model Checking. (1st February 2021) Authors: Phyo, Yati; Minh Do, Canh; Ogata, Kazuhiro Journal: Computer journal Issue: Volume 65:Number 6(2022) Page Start: 1353 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗