학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 870건 | 목록 180~190
Conference
Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation. :233-249
Conference
Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation. :267-281
Academic Journal
Bruse, Florian (D-UKSL-SEC) AMS Author Profile; Lange, Martin (D-UKSL-SEC) AMS Author Profile
Information and Computation (Inform. and Comput.) (20230101), 294, Paper No 105084, 18~pp. ISSN: 0890-5401 (print).eISSN: 1090-2651.
검색 결과 제한하기
제한된 항목
[AR] Lange, Martin
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어