학술논문
'학술논문'
에서 검색결과 95건 | 목록
10~20
Conference
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS) Technologies, Mobility and Security (NTMS), 2019 10th IFIP International Conference on New. :1-5 Jun, 2019
Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
Academic Journal
In Theoretical Computer Science 2010 411(10):1261-1282
Academic Journal
In Information and Computation 2008 206(2):352-377
Academic Journal
In Electronic Notes in Theoretical Computer Science 3 March 2005 125(1):55-66
Academic Journal
In Electronic Notes in Theoretical Computer Science 2 March 2005 124(1):113-132
Academic Journal
In Theoretical Computer Science 2005 338(1):247-274
Conference
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2013 15th International Symposium on. :153-160 Sep, 2013
Conference
2010 Fifth International Conference on Risks and Security of Internet and Systems (CRiSIS) Risks and Security of Internet and Systems (CRiSIS), 2010 Fifth International Conference on. :1-8 Oct, 2010
Conference
2010 Fifth International Conference on Risks and Security of Internet and Systems (CRiSIS) Risks and Security of Internet and Systems (CRiSIS), 2010 Fifth International Conference on. :1-8 Oct, 2010
검색 결과 제한하기
제한된 항목
[AR] Chevalier, Yannick
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어