Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Formal Techniques for Distributed SystemsSpringer, LNCS-6117, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. ⟨10.1007/978-3-642-13464-7⟩
Books
hal-01555338v1
|