학술논문
'학술논문'
에서 검색결과 2건 | 목록
1~10
Academic Journal
In: Heliyon . (Heliyon, 15 January 2024, 10(1))
Book
Reid, A.; Chen, R.; Deligiannis, A.; Gilday, D.; Hoyes, D.; Keen, W.; Pathirane, A.; Shepherd, O.; Vrabel, P.; Zaidi, A.
In: Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9780:42-58)
검색 결과 제한하기
제한된 항목
[AR] Pathirane, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어