Davor Obradovic, Ph.D.

Affiliations: 
2001 University of Pennsylvania, Philadelphia, PA, United States 
Area:
Computer Science
Google:
"Davor Obradovic"

Parents

Sign in to add mentor
Carl A. Gunter grad student 2001 Penn
 (Formal analysis of routing protocols.)
BETA: Related publications

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...