المؤلفون: Könighofer, B., Lorber, F., Jansen, N., Bloem, R., Margaria, T.

المساهمون: Margaria, T.

المصدر: Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I, 290-306. Cham : Springer
STARTPAGE=290;ENDPAGE=306;ISSN=0302-9743;TITLE=Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I, pp. 290-306

مصطلحات موضوعية: Software Science

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f12e12811d170ae524f72f46937077c5
http://hdl.handle.net/2066/225791

المؤلفون: Jansen, Nils, Könighofer, B., Junges, J.S.L., Serban, A.C., Bloem, R., Konnov, I.

المساهمون: Konnov, I.

المصدر: Konnov, I. (ed.), 31st International Conference on Concurrency Theory (CONCUR 2020), 3:1-3:16. Dagstuhl : Schloss Dagstuhl
STARTPAGE=3:1;ENDPAGE=3:16;ISSN=1868-8969;TITLE=Konnov, I. (ed.), 31st International Conference on Concurrency Theory (CONCUR 2020)
Konnov, I. (ed.), 31st International Conference on Concurrency Theory (CONCUR 2020), pp. 3:1-3:16

مصطلحات موضوعية: Software Science, Digital Security

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7e3545ec60e2c4554efe4fb7feae925b
http://hdl.handle.net/2066/224966

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Alshiekh, M., Bloem, R., Ehlers, R., Könighofer, B., Niekum, S., Ufuk Topcu

المصدر: Scopus-Elsevier

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Learning, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, General Medicine, Logic in Computer Science (cs.LO), Machine Learning (cs.LG)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::34159e769af030f7f63971c8ed535cf3

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.