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

Filter your results

1 Array
Deposit type : Annex
hal_authIdPerson_i : 1033830
Page :
sorted by

Formal Techniques for Distributed Objects, Components, and Systems

 Christel Baier , Luís Caires
Springer International Publishing, LNCS-10854, 2018, Lecture Notes in Computer Science, 978-3-319-92611-7. ⟨10.1007/978-3-319-92612-4⟩
Books hal-01824818v1
Page :