Ates, SalihSalihAtesBeyer, DirkDirkBeyerChien, Po-ChunPo-ChunChienNIAN-ZE LEE2025-10-212025-10-21202597830318669449783031866951https://scholars.lib.ntu.edu.tw/handle/123456789/732739MoXIchecker: An Extensible Model Checker for MoXIconference paper not in proceedings10.1007/978-3-031-86695-1_1