Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Structure: Internal structure identifier : 467169
Document type : Books
Page :
sorted by

Communications and Multimedia Security

 Bart De Decker , Jorn Lapon , Vincent Naessens , Andreas Uhl
Springer, LNCS-7025, 2011, Lecture Notes in Computer Science, 978-3-642-24711-8. ⟨10.1007/978-3-642-24712-5⟩
Books hal-01596212v1
Image document

Formal Techniques for Distributed Objects, Components, and Systems

 Alexey Gotsman , Ana Sokolova
Springer International Publishing, LNCS-12136, 2020, Lecture Notes in Computer Science, 978-3-030-50085-6. ⟨10.1007/978-3-030-50086-3⟩
Books hal-03283230v1
Page :