KOR

e-Article

Publication date
-
(ex : 2010-2015)
'e-Article' searched 117results | List 1~10
Conference
2022 Tenth International Symposium on Computing and Networking (CANDAR) CANDAR Computing and Networking (CANDAR), 2022 Tenth International Symposium on. :158-164 Nov, 2022
Academic Journal
Concurrency & Computation: Practice & Experience; May2024, Vol. 36 Issue 10, p1-19, 19p
Conference
2019 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2019 Formal Methods in. :179-183 Oct, 2019
Dissertation/ Thesis
Report
International Workshop on Quantified Boolean Formulas and Beyond-2019
Refining the search results
Facets
[AR] Kullmann, Oliver
Publication year
-
Database provider
Title
Publisher
자료유형(Source Type)
Subject
Language