Isbn: 9783031353567 - formal techniques for distributed objects, components, and systems: 43rd ifip wg 6.1 international conference, forte 2023, held as part of the 18th ... discotec 2023, lisbon, portugal, j (1 Ergebnisse)