Cite
MLA Citation
Yati Phyo et al.. “A Divide & Conquer Approach to Leads-to Model Checking.” Computer journal, vol. 65, 2022, pp. 1353–1364. http://access.bl.uk/ark:/81055/vdc_100158000340.0x000054
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Yati Phyo et al.. “A Divide & Conquer Approach to Leads-to Model Checking.” Computer journal, vol. 65, 2022, pp. 1353–1364. http://access.bl.uk/ark:/81055/vdc_100158000340.0x000054