학술논문
'학술논문'
에서 검색결과 490건 | 목록
170~180
Academic Journal
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
Academic Journal
Sankaranarayanan, Sriram; Zhang, Ying; Carney, Jess; Nigussie, Yalemzewd; Esayas, Befikadu; Simane, Belay; Zaitchik, Benjamin; Siddiqui, Sauleh
Conference
Proceedings of the International Conference Computer-aided Design; 11/18/2013, p662-669, 8p
Academic Journal
Nonlinear Analysis: Hybrid Systems; Feb2018, Vol. 27, p174-176, 3p
Academic Journal
Fineberg, Steven J.; Nandyala, Sreeharsha V.; Kurd, Mark F.; Marquez-Lara, Alejandro; Noureldin, Mohamed; Sankaranarayanan, Sriram; Patel, Alpesh A.; Oglesby, Matthew; Singh, Kern
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)
주제어
언어