학술논문
'학술논문'
에서 검색결과 258건 | 목록
1~10
Academic Journal
In Information and Computation December 2019 269
Report
Ye, Lina; Khmelnitsky, Igor; Haddad, Serge; Barbot, Benoît; Bollig, Benedikt; Leucker, Martin; Neider, Daniel; Roy, Rajarshi
Logical Methods in Computer Science (March 20, 2024) lmcs:11472
Report
Khmelnitsky, Igor; Haddad, Serge; Ye, Lina; Barbot, Benoît; Bollig, Benedikt; Leucker, Martin; Neider, Daniel; Roy, Rajarshi
EPTCS 370, 2022, pp. 81-96
Academic Journal
In Performance Evaluation August 2015 90:53-77
Report
Fundamenta Informaticae, Volume 183, Issues 1-2: Petri Nets 2019 (December 23, 2021) fi:8483
Academic Journal
In Information and Computation March 2013 224:1-22
검색 결과 제한하기
제한된 항목
[AR] Haddad, Serge
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어