학술논문
'학술논문'
에서 검색결과 1건 | 목록
1~10
Book
Fokkink, W.J.; van Beek, D.A.; Hofkamp, A.T.; Etman, L.F.P.; Moormann, L.; van de Mortel-Fronczak, J.M.; Reniers, M.A.; Rooda, J.E.; Schiffelers, R.R.H.; Thuijsman, S.B.; Verbakel, J.J.; Goorden, M.A.; Vogel, J.A.; Hendriks, D.; van der Sanden, L.J.; Reijnen, F.F.H.
In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13994 LNCS:44-52)
검색 결과 제한하기
제한된 항목
[AR] van der Sanden, L.J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
자료유형(Source Type)
언어