Paper presented at the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022)
26:32 · 2021
11:19 · 2013
9:10 · 2013
10:09 · 2010
37:27 · 2018
2:32 · 2015
6:12 · 2014
7:18 · 2023
2:08 · 2021
1:44 · 2012