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. (szerk.) Programming Languages and Systems : 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Singapore, Szingapúr : Springer (2025) pp. 325-345. , 21 p.
DOI WoS Scopus
Közlemény:35863943 Nyilvános Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[35863943] [Nyilvános]
2025-11-17 17:18