Formal techniques for distributed objects, components, and systems = 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /
by:
Ravara, Antonio.; Workshop on the Preservation of Stability under Discretization ((2001 :); Huisman, Marieke.; SpringerLink (Online service)
(Language materials, printed)
