4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Ryan Barry, Rob van Glabbeek, Peter Höfner
Routing protocol specifications are traditionally written in plain English. Often this yields ambiguities, inaccuracies or even contradictions. Formal methods techniques, such as p…