2026-06-28T14:58:37Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/914692025-03-14T01:11:19Zcom_20.500.14352_14col_20.500.14352_15

https://hdl.handle.net/20.500.14352/91469/ore.xml 2023-12-18T17:39:51Z 2023-12-18T17:39:51Z Docta Complutense Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way Minh Do, Canh Phyo, Yati Ogata, Kazuhiro Riesco Rodríguez, Adrián 2023-12-18T17:39:51Z ORIGINAL CC-LICENSE LICENSE THUMBNAIL THUMBNAIL