Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
Author: personID (integer) : 986103

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert , Ivan Lanese
Springer, LNCS-9688, 2016, Formal Techniques for Distributed Objects, Components, and Systems, 978-3-319-39569-2. ⟨10.1007/978-3-319-39570-8⟩
Books hal-01432933v1