Paper Info
Title
Formal Verification of a Parameterized Data Aggregation Protocol.
Year
DOI
Venue
2013
10.1007/978-3-642-38088-4_29
NASA Formal Methods
Field
DocType
Citations 
System topology,Parameterized complexity,Wireless,Computer science,Theoretical computer science,Proof obligation,Data aggregator,Formal verification
Conference
1
PageRank 
References 
Authors
0.36
9
2
Name
Order
Citations
PageRank
Sergio Feo-Arenis1214.00
Bernd Westphal2438.45