Skip to content
Small Text
Normal Text
Large Text
Search
GSD
Sections
Home
Teaching
Members
About
Personal tools
You are not logged in
Log in
You are here:
Home
»
Teaching
»
Distributed Computing
»
DC - Distributed Computing (2008 - 2009)
»
Papers
Papers
Up one level
A New Approach to Proving the Correctness of Multiprocess Programs
A Distributed Algorithm for Minimum-Weight Spanning Trees
Reaching Agreement in the Presence of Faults
Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study
«
November
2014
»
Su
Mo
Tu
We
Th
Fr
Sa
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
This site conforms to the following standards: