An abstraction-refinement methodology for reasoning about network games

Avni, Guy; Guha, Shibashis; Kupferman, Orna

doi:doi/10.3390/g9030039

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Citer

An abstraction-refinement methodology for reasoning about network games

par Avni, Guy ;Guha, Shibashis

;Kupferman, Orna
Référence Games, 9, 3, 39
Publication Publié, 2018-09

Article révisé par les pairs

Fichier importé via le DOI

Documents en relation

DI-fusion

Reflecting on coloniality of power, colonial violence and decolonization through the University of Rojava
par Sunca, Jan Yasin
Publication Bloomsbury Publishing Plc., 2025-04
Unjustified silence in the face of this new war in eastern DR Congo
par Hatem, Marie HM , Blavier, Adélaïde , Alldén, Susanne , Foucart, Jennifer , Taxil, Berangère BT , Keyser, Laura LEK , Weyembergh, Anne , Vandenberg, Olivier
Publication 2025-02-26
Effect of Metabolic Stress to High-Load Exercise on Muscle Damage, Inflammatory and Hormonal Responses
par Stragier, Séverine , Duchateau, Jacques , Cotton, Frédéric , Smet, Julie , Wolff, Fleur , Tresnie, Jeremy , Carpentier, Alain
Publication 2025-04-01
Nuclear level density and γ -ray strength function of Ni 67 and the impact on the i process
par Ingeberg, V. W. , Siem, Sunniva , Wiedeking, M. , Choplin, Arthur , Goriely, Stéphane , Siess, Lionel , Abrahams, K.J. , Arnswald, Konrad , Bello Garrote, Frank Leonel , Bleuel, Darren D.L. , Cederkäll, Joakim , Christoffersen, T.L. , Cox, D.M. , De Witte, Hilde , Gaffney, L.P. , Görgen, Andreas , Henrich, Corinna , Illana, A. , Jones, Pete , Kheswa, B.V. , Kröll, Thorsten , Majola, Siyabonga S.N.T. , Malatji, K.L. , Ojala, Joonas , Pakarinen, Janne , Rainovski, G. , Reiter, Peter , Von Schmid, M. , Seidlitz, M. , Tveten, G.M. , Warr, Nigel , Zeiser, Fabio
Publication 2025-01-01
Pediatric cardiac arrest registries and survival outcomes: A European study
par Markel, Franziska , Djakow, Jana , Biarent, Dominique , de Lucas, Nieves , Castillo, Jimena del , Skellett, Sophie , Turner, Nigel Mc Beth N.M. , Buysse, Corinne C.M.P. , Lauridsen, Kasper Glerup
Publication 2025-03

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.