ParentsSign in to add mentor
ChildrenSign in to add trainee
CollaboratorsSign in to add collaborator
BETA: Related publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.
|Bhargavan K, Obradovic D, Gunter CA. (2002) Formal verification of standards for distance vector routing protocols Journal of the Acm. 49: 538-576|
|Bhargavan K, Gunter CA, Obradovic D. (2000) Routing information protocol in hol/spin Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1869: 53-72|