Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array

Formal Techniques for Distributed Systems

John Hatcliff , Elena Zucca
Springer, LNCS-6117, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. ⟨10.1007/978-3-642-13464-7⟩
Books hal-01555338v1