Formal Verification of a Parameterized Data Aggregation Protocol
10.1007_978-3-642-38088-4_29.pdf
—
PDF document,
178 kB (182586 bytes)