Ravara, Antonio.

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) (書目-語言資料,印刷品)