CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Publikacje
Autorzy:
Desharnais, Martin; Toth, Balazs; Waldmann, Uwe; Blanchette, Jasmin; Tourret, Sophie
Opublikowane w:
ITP 2024, 2024
Wydawca:
Schloss Dagstuhl
DOI:
10.4230/LIPICS.ITP.2024.12
Autorzy:
Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette
Opublikowane w:
Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Wydawca:
Springer
DOI:
10.1007/978-3-031-90643-5_5
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników