Dynamic logic new trends and applications : 4th international workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022 : revised selected papers - Areces, Carlos (Springer, 2023)
Keywords: Computer; Kommunikation; Netzwerk; Konferenzschrift -- 2022 -- Haifa