Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
hal_authIdPerson_i : 1152675

Formal Techniques for Distributed Objects, Components, and Systems

Kirstin Peters , Tim A.C. Willemse
Springer International Publishing, LNCS-12719, 2021, Lecture Notes in Computer Science, 978-3-030-78088-3. ⟨10.1007/978-3-030-78089-0⟩
Books hal-03740268v1