Davor Obradovic, Ph.D.

2001 University of Pennsylvania, Philadelphia, PA, United States 
Computer Science
"Davor Obradovic"


Sign in to add mentor
Carl A. Gunter grad student 2001 Penn
 (Formal analysis of routing protocols.)
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
See more...