mtmt
The Hungarian Scientific Bibliography
Previous page
1 elements on 1 page(s), 1 element listed, page number 1 shown.
Next page
Public search
Magyarul
Visualization options
Language
Abstract
Type information
Comments
Status information
Links
Only independent citations
Citations
None
Number
Short
Details
Full
Sorting
-
Published year
First author
Title
First page or ArtNo
Created
Citing papers
Citation count
Status
Type
Sub type
Category
OA type
MTMT ID
Journal
Language
▼
▲
-
Published year
First author
Title
First page or ArtNo
Created
Citing papers
Citation count
Status
Type
Sub type
Category
OA type
MTMT ID
Journal
Language
▼
▲
-
Published year
First author
Title
First page or ArtNo
Created
Citing papers
Citation count
Status
Type
Sub type
Category
OA type
MTMT ID
Journal
Language
▼
▲
List size
10
20
50
100
1000
5000
Switch to:
XML
JSON
Export list:
As bibliography
RIS
BIBTEX
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
×
Export list as bibliography
Citation styles:
IEEE
ACM
APA
Chicago
Harvard
Print
Copy