학술논문
'학술논문'
에서 검색결과 145건 | 목록
120~130
Conference
In: Lecture Notes in Computer Science , Computer Aided Verification: 17th International Conference, CAV 2005. Proceedings. (Lecture Notes in Computer Science, 2005, 3576:164-169)
Conference
In: Lecture Notes in Computer Science , FM 2005: Formal Methods: International Symposium of Formal Methods Europe. Proceedings. (Lecture Notes in Computer Science, 2005, 3582:512-528)
Conference
In: Lecture Notes in Computer Science , Computer Aided Verification: 17th International Conference, CAV 2005. Proceedings. (Lecture Notes in Computer Science, 2005, 3576:296-300)
Conference
In: Proceedings - Design Automation Conference , Proceedings 2005, 42nd Design Automation Conference, DAC 2005. (Proceedings - Design Automation Conference, 2005, :445-450)
Book
In: Integrated Formal Methods - 5th International Conference, IFM 2005, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005, 3771 LNCS:53-69)
Book
In: FME 2001: Formal Methods for Increasing Software Productivity - International Symposium of Formal Methods Europe, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2021 LNCS:611-628)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2029:318-332)
Academic Journal
Academic Journal
In: Formal Aspects of Computing . (Formal Aspects of Computing, December 2005, 17(4):461-483)
검색 결과 제한하기
제한된 항목
[AR] Sharygina, N.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어