학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 5건 | 목록 1~10
Academic Journal
Journal of Logic & Computation; Dec2022, Vol. 32 Issue 8, p1645-1658, 14p
Academic Journal
Lehnherr, David (CH-BERN-II) AMS Author Profile; Ognjanović, Zoran (SE-SAOS) AMS Author Profile; Studer, Thomas (CH-BERN-II) AMS Author Profile
Journal of Logic and Computation (J. Logic Comput.) (20220101), 32, no.~8, 1645-1658. ISSN: 0955-792X (print).eISSN: 1465-363X.
Conference
Cachin, Christian (CH-BERN-NDM) AMS Author Profile; Lehnherr, David (CH-BERN-NDM) AMS Author Profile; Studer, Thomas (CH-BERN-NDM) AMS Author Profile
Stabilization, safety, and security of distributed systems (20230101), 552-567.
검색 결과 제한하기
제한된 항목
[AR] Lehnherr, David
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어