Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
Author: personID (integer) : 1024707
Page :
sorted by

Formal Techniques for Distributed Objects, Components, and Systems

 Ahmed Bouajjani , Alexandra Silva
Springer International Publishing, LNCS-10321, 2017, Lecture Notes in Computer Science, 978-3-319-60224-0. ⟨10.1007/978-3-319-60225-7⟩
Books hal-01658426v1
Page :