학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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)
Conference
In: Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2000, 1831:271-290)
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)
주제어
언어