Inproceedings,
A reduction-based approach towards scaling up formal analysis of internet configurations.
A. Wang, A. Gurney, X. Han, J. Cao, B. Loo, C. Talcott, and A. Scedrov.INFOCOM, page 637-645. IEEE, (2014)
Meta data
- BibTeX key
- conf/infocom/WangGHCLTS14
- entry type
- inproceedings
- booktitle
- INFOCOM
- year
- 2014
- pages
- 637-645
- publisher
- IEEE
- crossref
- conf/infocom/2014
- ee
- https://doi.org/10.1109/INFOCOM.2014.6847989
- isbn
- 978-14799-3360-0
- url
- http://dblp.uni-trier.de/db/conf/infocom/infocom2014.html#WangGHCLTS14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/infocom/WangGHCLTS14
%A Wang, Anduo
%A Gurney, Alexander J. T.
%A Han, Xianglong
%A Cao, Jinyan
%A Loo, Boon Thau
%A Talcott, Carolyn L.
%A Scedrov, Andre
%B INFOCOM
%D 2014
%I IEEE
%K dblp
%P 637-645
%T A reduction-based approach towards scaling up formal analysis of internet configurations.
%U http://dblp.uni-trier.de/db/conf/infocom/infocom2014.html#WangGHCLTS14
%@ 978-14799-3360-0
@inproceedings{conf/infocom/WangGHCLTS14,
added-at = {2023-02-12T00:00:00.000+0100},
author = {Wang, Anduo and Gurney, Alexander J. T. and Han, Xianglong and Cao, Jinyan and Loo, Boon Thau and Talcott, Carolyn L. and Scedrov, Andre},
biburl = {https://www.bibsonomy.org/bibtex/2c94790b3d2921960f0016959ef1e916e/dblp},
booktitle = {INFOCOM},
crossref = {conf/infocom/2014},
ee = {https://doi.org/10.1109/INFOCOM.2014.6847989},
interhash = {8d2f1733b14de1a6bf1a3d17353597df},
intrahash = {c94790b3d2921960f0016959ef1e916e},
isbn = {978-14799-3360-0},
keywords = {dblp},
pages = {637-645},
publisher = {IEEE},
timestamp = {2024-04-10T21:41:45.000+0200},
title = {A reduction-based approach towards scaling up formal analysis of internet configurations.},
url = {http://dblp.uni-trier.de/db/conf/infocom/infocom2014.html#WangGHCLTS14},
year = 2014
}