-
1تقرير
-
2كتاب إلكتروني
المؤلفون: Dahlsen-Jensen, Mikael BisgaardAff3, Fievet, BaptisteAff4, Petrucci, LaureAff4, de Pol, Jaco vanAff3
المساهمون: Finkbeiner, Bernd, editorAff1, Kovács, Laura, editorAff2
المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III. 14572:194-212
-
3تقرير
-
4دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
5
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Computer Science and Game Theory, ComputingMilieux_PERSONALCOMPUTING, Computer Science and Game Theory (cs.GT)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0fa3e43551f55023ff51e985ff5514d8
http://arxiv.org/abs/2203.01285 -
6
المؤلفون: CHAILLEUX, Sébastien, MOYSON, Stéphane, AUBIN, David, PLANCQ, Maximilien, FIEVET, Baptiste
المساهمون: Passages, Université de Bordeaux (UB)-Ministère de la Culture et de la Communication (MCC)-Université de Pau et des Pays de l'Adour (UPPA)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS), Institut de Mathématiques de Jussieu (IMJ), Université Pierre et Marie Curie - Paris 6 (UPMC)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ECPR Workshop
ECPR Workshop, 2018, Nicosia, Cyprusمصطلحات موضوعية: [SHS.SCIPO]Humanities and Social Sciences/Political science
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::77bcfdb28956bb1bf2d6ecca0d607124
http://hdl.handle.net/20.500.12278/91287