학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 28건 | 목록 1~10
Report
Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22), Aug 2022, Technion, Israel
Conference
2015 15th International Conference on Application of Concurrency to System Design Application of Concurrency to System Design (ACSD), 2015 15th International Conference on. :50-59 Jun, 2015
Conference
2012 12th International Conference on Application of Concurrency to System Design Application of Concurrency to System Design (ACSD), 2012 12th International Conference on. :164-172 Jun, 2012
검색 결과 제한하기
제한된 항목
[AR] Colange, Maximilien
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어