학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 490건 | 목록 170~180
Academic Journal
International Journal of Robotics Research. Oct2015, Vol. 34 Issue 12, p1515-1535. 21p.
Book
Automated Technology for Verification & Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings; 2014, p411-427, 17p
Book
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings; 2014, p85-100, 16p
Book
Computer Aided Verification (9783319088662); 2014, p866-873, 8p
Conference
Proceedings of the International Conference Computer-aided Design; 11/18/2013, p662-669, 8p
Book
ECOOP 2013 - Object-Oriented Programming; 2013, p401-425, 25p
Book
Computer Aided Verification (9783642397981); 2013, p511-526, 16p
검색 결과 제한하기
제한된 항목
[AR] Sankaranarayanan, Sriram
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어