학술논문
'학술논문'
에서 검색결과 159건 | 목록
30~40
Academic Journal
Academic Journal
Academic Journal
Academic Journal
Book
Formal Modeling & Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings; 2016, p19-34, 16p
Book
Verification, Model Checking & Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings; 2016, p372-390, 19p
Book
Application & Theory of Petri Nets & Concurrency (9783319390857); 2016, p261-280, 20p
Book
Formal Methods & Software Engineering (9783319478456); 2016, p400-416, 17p
Book
Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings; 2015, p7-19, 13p
검색 결과 제한하기
제한된 항목
[AR] Lime, Didier
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어