Open Access System for Information Sharing
All
Title
Author
Subject
Login
Library
Help
검색
HOME
Communities & Collections
Researchers
Title
Browse by Researchers
()
Department
Major(s)
-
Co-researchers
네트워크
×
공저자 목록
뒤로가기
Keyword
Publication & Time Cited Count (For the Last 5 years)
Results 1-1 of 1 (Search time: 0.001 seconds).
Export
EXCEL
BIBTEX
Date issued
2020
1
Type
Conference
1
Applied search limites :
Author
: YU, GEUNYEOL
Date Issued
: 2020
Journal Papers(International)
Journal Papers
(Domestic)
Conference Papers(International)
Conference Papers(Domestic)
20 건
100 건
200 건
Conference
Maude-SE: a Tight Integration of Maude and SMT Solvers
International Workshop on Rewriting Logic and its Applications (WRLA), page. 220 - 232, 2020-10-22
YU, GEUNYEOL
;
BAE, KYUNGMIN
1
Browse
Communities & Collections
Researcher
Title
Login
Library
Help