Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Formal Techniques for Distributed SystemsSpringer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩
Books
hal-01583312v1
|