I agree that this site is using cookies. You can find further informations
here
.
X
Login
Merkliste (
0
)
Home
About us
Home About us
Our history
Profile
Press & public relations
Friends
The library in figures
Exhibitions
Projects
Training, internships, careers
Films
Services & Information
Home Services & Information
Lending and interlibrary loans
Returns and renewals
Training and library tours
My Account
Library cards
New to the library?
Download Information
Opening hours
Learning spaces
PC, WLAN, copy, scan and print
Catalogs and collections
Home Catalogs and Collections
Rare books and manuscripts
Digital collections
Subject Areas
Our sites
Home Our sites
Central Library
Law Library (Juridicum)
BB Business and Economics (BB11)
BB Physics and Electrical Engineering
TB Engineering and Social Sciences
TB Economics and Nautical Sciences
TB Music
TB Art & Design
TB Bremerhaven
Contact the library
Home Contact the library
Staff Directory
Open access & publishing
Home Open access & publishing
Reference management: Citavi & RefWorks
Publishing documents
Open Access in Bremen
zur Desktop-Version
Toggle navigation
Merkliste
1 Ergebnisse
1
Accuracy, Scalability, Coverage : A Practical Configurat..:
, In:
Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication
,
Ye, Fangdan
;
Yu, Da
;
Zhai, Ennan
... - p. 599-614 , 2020
Link:
https://dl.acm.org/doi/10.1145/3387514.3406217
RT T1
Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication
: T1
Accuracy, Scalability, Coverage : A Practical Configuration Verifier on a Global WAN
UL https://suche.suub.uni-bremen.de/peid=acm-3406217&Exemplar=1&LAN=DE A1 Ye, Fangdan A1 Yu, Da A1 Zhai, Ennan A1 Liu, Hongqiang Harry A1 Tian, Bingchuan A1 Ye, Qiaobo A1 Wang, Chunsheng A1 Wu, Xin A1 Guo, Tianchen A1 Jin, Cheng A1 She, Duncheng A1 Ma, Qing A1 Cheng, Biao A1 Xu, Hui A1 Zhang, Ming A1 Wang, Zhiliang A1 Fonseca, Rodrigo PB ACM YR 2020 K1 Network Configurations K1 Network Verification K1 Reliability K1 Theory of computation K1 Logic K1 Logic and verification K1 Networks K1 Network properties K1 Network reliability SP 599 OP 614 LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3387514.3406217 DO https://dl.acm.org/doi/10.1145/3387514.3406217 SF ELIB - SuUB Bremen
Export
RefWorks (nur Desktop-Version!)
Flow
(Zuerst in
Flow
einloggen, dann importieren)