Alex X. Liu and Amir R. Khakpour: Quantifying and Verifying Reachability for Access Controlled Networks. (2013)journals/ton/LiuK1310.1109/TNET.2012.2203144Quantifying and Verifying Reachability for Access Controlled Networks.2Alex X. Liu1Amir R. Khakpour2551-565IEEE/ACM Trans. Netw.IEEE/ACM Trans. Netw.2122013provenance information for RDF data of dblp record 'journals/ton/LiuK13'2017-05-27T14:24:27+0200