학술논문
'학술논문'
에서 검색결과 5건 | 목록
1~10
Academic Journal
In: ACM Transactions on Computational Logic . (ACM Transactions on Computational Logic, 16 April 2024, 25(2))
Academic Journal
Jacobs, S.; Finkbeiner, B.; Pérez, G.A.; Abraham, R.; van Dijk, T.; Bruyère, V.; Delfosse, C.; Staquet, G.; Tamines, C.; Cadilhac, M.; Colange, M.; Duret-Lutz, A.; Michaud, T.; Pommellet, A.; Renkin, F.; Schlehuber-Caissier, P.; Faymonville, P.; Klein, F.; Tentrup, L.; Khalimov, A.; Luttenberger, M.; Meyer, K.; Sickert, S.; Sakr, M.; Walker, A.
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, 2024)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 33rd International Conference on Concurrency Theory, CONCUR 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 September 2022, 243)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 32nd International Conference on Concurrency Theory, CONCUR 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 August 2021, 203)
Book
In: Reachability Problems - 13th International Conference, RP 2019, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11674 LNCS:63-78)
검색 결과 제한하기
제한된 항목
[AR] Tamines, C.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어