Research graph
References from A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1145/153724.153741
10.1145/153724.153741 · 1993 · External reference
Unresolved reference
External reference
10.1137/s0097539797330689
10.1137/s0097539797330689 · 2002 · External reference
10.1002/0471478210
10.1002/0471478210 · 2004 · External reference
10.1109/sfcs.1991.185377
10.1109/sfcs.1991.185377 · External reference
10.1007/11944836_25
10.1007/11944836_25 · External reference
10.1093/logcom/exn075
10.1093/logcom/exn075 · 2010 · External reference
10.1007/978-3-642-32759-9
10.1007/978-3-642-32759-9 · 2012 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/978-3-319-47169-3_27
10.1007/978-3-319-47169-3_27 · 2016 · External reference
10.1007/978-3-642-21437-0
10.1007/978-3-642-21437-0 · 2011 · External reference
10.1007/bf00147939
10.1007/bf00147939 · 1987 · External reference
10.1007/978-3-642-19835-9
10.1007/978-3-642-19835-9 · 2011 · External reference
10.1145/214451.214456
10.1145/214451.214456 · 1985 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/s10009-011-0196-8
10.1007/s10009-011-0196-8 · 2012 · External reference
10.1145/3149.214121
10.1145/3149.214121 · 1985 · External reference
10.1145/2499228
10.1145/2499228 · 2013 · External reference
10.1007/978-3-319-14472-6_11
10.1007/978-3-319-14472-6_11 · 2014 · External reference
10.1007/s00446-013-0188-x
10.1007/s00446-013-0188-x · 2013 · External reference
10.1007/978-3-662-49529-2_37
10.1007/978-3-662-49529-2_37 · 2016 · External reference
10.1007/11813040_37
10.1007/11813040_37 · External reference
10.1145/1640089.1640101
10.1145/1640089.1640101 · External reference
Unresolved reference
External reference
10.1016/b978-0-12-404578-1.00003-6
10.1016/b978-0-12-404578-1.00003-6 · External reference
10.1145/277697.277722
10.1145/277697.277722 · External reference
10.1145/331524.331529
10.1145/331524.331529 · 1999 · External reference
Unresolved reference
2008 · External reference
10.1023/a:1011254632723
10.1023/a:1011254632723 · 2001 · External reference
Unresolved reference
1996 · External reference
10.1109/ipdps.2015.95
10.1109/ipdps.2015.95 · External reference
10.1007/978-3-642-32027-9
10.1007/978-3-642-32027-9 · 2013 · External reference
10.1007/978-3-642-38123-2
10.1007/978-3-642-38123-2 · 2013 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
