المؤلفون: Gutierrez, J, Harrenstein, P, Perelli, G, Wooldridge, M

العلاقة: https://ora.ox.ac.uk/objects/uuid:0b44795a-60a3-4999-ae6c-ce92c0e9af45Test; https://doi.org/10.1145/3439900Test

الإتاحة: https://doi.org/10.1145/3439900Test
https://ora.ox.ac.uk/objects/uuid:0b44795a-60a3-4999-ae6c-ce92c0e9af45Test

المؤلفون: Gutierrez, J, Perelli, G, Wooldridge, M

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=od______1064::7fb05245e83cac44d9ab4e996fc21a6dTest
https://ora.ox.ac.uk/objects/uuid:fe70e3ef-8be4-4c2e-8c7c-206a4f13edaeTest

المؤلفون: Mogavero F., Murano A., Perelli G., Vardi M. Y.

المساهمون: Mogavero, F., Murano, A., Perelli, G., Vardi, M. Y.

مصطلحات موضوعية: Behavioral strategie, Model checking, Strategy logic

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000345570700009; volume:15; issue:4; firstpage:1; lastpage:47; numberofpages:47; journal:ACM TRANSACTIONS ON COMPUTATIONAL LOGIC; http://hdl.handle.net/11573/1403438Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84914173732

الإتاحة: https://doi.org/10.1145/2631917Test
http://hdl.handle.net/11573/1403438Test