학술논문
'학술논문'
에서 검색결과 195건 | 목록
1~10
Academic Journal
Créton, M.; Wagener, F.; Bloemen, M.; Schols, J.; Aarts, M.; Massink, M.; van Haaften, G.; van den Boogaard, M.J.; Fennis, W.; van der Molen, A.M.
In: American Journal of Medical Genetics, Part A . (American Journal of Medical Genetics, Part A, April 2023, 191(4):1083-1088)
Report
Logical Methods in Computer Science, Volume 14, Issue 4, Modal and temporal logics (October 23, 2018) lmcs:3774
Academic Journal
Kelich, J.; Aramburu, T.; Showe, L.; Kossenkov, A.; Skordalakes, E.; van der Vis, J.J.; Veltkamp, M.; van Moorsel, C.H.M.; van der Smagt, J.; Massink, M.; Schoemaker, A.; Hennekam, E.
In: Journal of Experimental Medicine . (Journal of Experimental Medicine, 2022, 219(5))
Book
In: Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14678 LNCS:20-38)
Conference
2010 8th IEEE International Conference on Software Engineering and Formal Methods Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on. :169-180 Sep, 2010
Academic Journal
In Electronic Notes in Theoretical Computer Science May 2001 43:75-96
Conference
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Software Engineering Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on. :596-603 2005
Conference
International Conference on Dependable Systems and Networks, 2004 Dependable systems and networks Dependable Systems and Networks, 2004 International Conference on. :711-720 2004
Conference
Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems Engineering complex computer systems Engineering Complex Computer Systems, 2004. Proceedings. Ninth IEEE International Conference on. :75-84 2004
Conference
Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems Engineering of complex computer systems Engineering of Complex Computer Systems, 2001. Proceedings. Seventh IEEE International Conference on. :270-279 2001
검색 결과 제한하기
제한된 항목
[AR] Massink, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어