Filter your results
- 2
- 1
- 2
- 1
- 3
- 3
- 8
- 3
- 2
- 2
- 3
- 4
- 4
- 3
- 4
- 6
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
BGP and Inter-AS Economic Relationships10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.54-67, ⟨10.1007/978-3-642-20798-3_5⟩
Conference papers
hal-01597984v1
|
||
|
Formal Analysis of Security Metrics and Risk5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.304-319, ⟨10.1007/978-3-642-21040-2_22⟩
Conference papers
hal-01573302v1
|
||
|
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
|