Automated formal analysis of internet routing configurations
Year: 2013
Type: dissertation
Authors: Boon Thau Loo, Andre Scedrov, Anduo Wang
Institution: University of Pennsylvania
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1663785289