학술논문
'학술논문'
에서 검색결과 13건 | 목록
1~10
Conference
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e. :270-277 1990
Academic Journal
In: Information and Computation . (Information and Computation, March 2011, 209(3):486-512)
Academic Journal
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, February 2003, 30(2):153-177)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, January 2003, 22(1):59-86)
Book
In: Language and Automata Theory and Applications - Third International Conference, LATA 2009, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5457:446-457)
Book
In: Formal Aspects in Security and Trust - 5th International Workshop, FAST 2008, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5491 LNCS:192-209)
Conference
In: Feature Interactions in Software and Communication Systems IX , Feature Interactions in Software and Communication Systems IX. (Feature Interactions in Software and Communication Systems IX, 2008, :161-171)
Book
In: Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2000, 1855:344-357)
Book
In: FM 1999 – Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1999, 1708:662-681)
검색 결과 제한하기
제한된 항목
[AR] Klay, F.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어