e-Article
'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
Academic Journal
In Discrete Applied Mathematics 10 September 2014 174:27-51
Academic Journal
In Theoretical Computer Science 24 June 2013 492:70-87
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