المؤلفون: 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

المؤلفون: 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

المؤلفون: 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

المؤلفون: 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

المؤلفون: Groenewegen, L. P. J.^Aff16, Kuiper, R.^Aff17, de Vink, E. P.^{Aff17, Aff18}

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Ábrahám, Erika, editor^Aff13, Bonsangue, Marcello, editor^Aff14, Johnsen, Einar Broch, editor^Aff15

المصدر: Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. 9660:242-260

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

المؤلفون: 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

المؤلفون: 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

المؤلفون: Andova, S.^Aff18, Groenewegen, L. P. J.^Aff19, de Vink, E. P.^Aff18

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Barbosa, Luís Soares, editor^Aff16, Lumpe, Markus, editor^Aff17

المصدر: Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. 6921:125-144

المؤلفون: Andova, S.^Aff18, Groenewegen, L. P. J.^Aff19, de Vink, E. P.^Aff18

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^{Aff10, Aff17}, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Margaria, Tiziana, editor^Aff16

المصدر: 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