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
20:53 · 2007
4:52 · 2016
6:55 · 2009
44:36 · 2009
0:12 · 2020
4:34 · 2014