학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 7건 | 목록 1~10
Academic Journal
JOURNAL OF ENGINEERED FIBERS AND FABRICS; DEC 2019, 14 p1558925019896433 13p.
Academic Journal
Social Work in Mental Health. Mar/Apr2016, Vol. 14 Issue 2, p133-148. 16p.
Conference
Lotz, Kevin (D-KIEL-C) AMS Author Profile; Goel, Amit (1-AMAZW) AMS Author Profile; Dutertre, Bruno (1-AMAZW) AMS Author Profile; Kiesl-Reiter, Benjamin (1-AMAZW) AMS Author Profile; Kong, Soonho (1-AMAZW) AMS Author Profile; Majumdar, Rupak (1-AMAZW) AMS Author Profile; Nowotka, Dirk (D-KIEL-C) AMS Author Profile
Computer aided verification. Part II (20230101), 187-208.
Conference
Lotz, Kevin (D-KIEL-C) AMS Author Profile; Kulczynski, Mitja (D-KIEL-C) AMS Author Profile; Nowotka, Dirk (D-KIEL-C) AMS Author Profile; Poulsen, Danny Bøgsted (DK-ALBG-C) AMS Author Profile; Schlichtkrull, Anders (DK-ALBG-C) AMS Author Profile
Implementation and application of automata (20230101), 206-217.
Conference
Kulczynski, Mitja (D-KIEL-C) AMS Author Profile; Lotz, Kevin (D-KIEL-C) AMS Author Profile; Nowotka, Dirk (D-KIEL-C) AMS Author Profile; Poulsen, Danny Bøgsted (DK-ALBG-C) AMS Author Profile
Model checking software (20220101), 134-151.
검색 결과 제한하기
제한된 항목
[AR] Lotz, Kevin
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어