-
1تقرير
المؤلفون: de Vink, E. P., Zantema, H., Bošnački, D.
المصدر: EPTCS 100, 2012, pp. 48-62
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, F.1.1, J.3
URL الوصول: http://arxiv.org/abs/1211.4092
-
2تقرير
المؤلفون: Latella, D., Massink, M., de Vink, E. P.
المصدر: EPTCS 93, 2012, pp. 23-43
مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.2
URL الوصول: http://arxiv.org/abs/1209.1432
-
3مؤتمر
المؤلفون: Markovski, J., de Vink, E. P.
المصدر: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on. :177-186 Jul, 2007
Relation: 2007 Seventh International Conference on Application of Concurrency to System Design
-
4تقرير
المؤلفون: Groenewegen, L. P. J., de Vink, E. P.
مصطلحات موضوعية: Computer Science - Software Engineering, D.2.11, F.3.1
URL الوصول: http://arxiv.org/abs/0811.3492
-
5كتاب إلكتروني
المؤلفون: Groenewegen, L. P. J.Aff16, Kuiper, R.Aff17, de Vink, E. P.Aff17, Aff18
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Ábrahám, Erika, editorAff13, Bonsangue, Marcello, editorAff14, Johnsen, Einar Broch, editorAff15
المصدر: Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. 9660:242-260
-
6دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
7
المؤلفون: Ciancia V., Gabelaia D., Latella D., Massink M., De Vink E. P.
المصدر: ISTI Technical Report, ISTI-2023-TR/003, 2023
مصطلحات موضوعية: Spatial logics, Logical equivalence, Spatial bisimilarity, Spatial model checking, Polyhedral models, Bisimulation relations
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______9984::c87c2efc9e5bc3740873f181631453b2
https://openportal.isti.cnr.it/doc?id=people______::1982b85554323352ce4fcf093ba28c53 -
8
المؤلفون: Ciancia V., Gabelaia D., Latella D., Massink M., De Vink E. P.
المصدر: DisCoTec 2023-43rd IFIP WG 6.1 International Conference, FORTE 2023 Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, pp. 132–151, Lisbon, Portugal, 19-23/06/2023
مصطلحات موضوعية: Spatial logics, Logical equivalence, Spatial bisimilarity, Spatial model checking, Polyhedral models, Bisimulation relations
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______9984::214952863473fe4d9dbec838e9493620
https://openportal.isti.cnr.it/doc?id=people______::5d69e328cfe288cf662a3948812e2702 -
9كتاب إلكتروني
المؤلفون: Andova, S.Aff18, Groenewegen, L. P. J.Aff19, de Vink, E. P.Aff18
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Nierstrasz, Oscar, Series editorAff8, Pandu Rangan, C., Series editorAff9, Steffen, Bernhard, Series editorAff10, Sudan, Madhu, Series editorAff11, Terzopoulos, Demetri, Series editorAff12, Tygar, Doug, Series editorAff13, Vardi, Moshe Y., Series editorAff14, Weikum, Gerhard, Series editorAff15, Barbosa, Luís Soares, editorAff16, Lumpe, Markus, editorAff17
المصدر: Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. 6921:125-144
-
10كتاب إلكتروني
المؤلفون: Andova, S.Aff18, Groenewegen, L. P. J.Aff19, de Vink, E. P.Aff18
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Nierstrasz, Oscar, Series editorAff8, Pandu Rangan, C., Series editorAff9, Steffen, Bernhard, Series editorAff10, Aff17, Sudan, Madhu, Series editorAff11, Terzopoulos, Demetri, Series editorAff12, Tygar, Doug, Series editorAff13, Vardi, Moshe Y., Series editorAff14, Weikum, Gerhard, Series editorAff15, Margaria, Tiziana, editorAff16
المصدر: Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. 6416:143-159