1.
Katsura, H. ; Kobayashi, N. ; Sakayori, K. ; Sato, R.
Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem
In: Kiselyov, O. (eds.) Programming Languages and Systems : 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Singapore, Singapore : Springer (2025) pp. 325-345. , 21 p.
DOI WoS Scopus
Publication:35863943 Published Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[35863943] [Approved]
2025-12-11 00:04