Filter your results
- 2
- 2
- 2
- 2
- 7
- 4
- 4
- 3
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Resilient Distributed Collection Through Information Speed Thresholds22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.211-229, ⟨10.1007/978-3-030-50029-0_14⟩
Conference papers
hal-03273987v1
|
||
|
|
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.150-168, ⟨10.1007/978-3-030-50086-3_9⟩
Conference papers
hal-03283239v1
|