( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Declarative Network Verification.

, , , и . PADL, том 5418 из Lecture Notes in Computer Science, стр. 61-75. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Paul Wang

Lien Wang

Scheifoo Wang

 

Другие публикации лиц с тем же именем

Reflections on Data Integration for SDN., , и . SDN-NFV@CODASPY, стр. 65-68. ACM, (2017)Automating SDN Composition: A Database Perspective., и . SOSR, стр. 203-204. ACM, (2017)A Logical Approach to Representing and Reasoning About Interdomain Routing Policies., и . Datalog, том 2368 из CEUR Workshop Proceedings, стр. 68-79. CEUR-WS.org, (2019)Ravel: A Database-Defined Network., , , , и . SOSR, стр. 5. ACM, (2016)Formally Verifiable Networking., , , , , и . HotNets, ACM SIGCOMM, (2009)Access control for a database-defined network., и . Sarnoff Symposium, стр. 1-2. IEEE, (2016)Declarative Network Verification., , , и . PADL, том 5418 из Lecture Notes in Computer Science, стр. 61-75. Springer, (2009)Structural Semantics Management: an Application of the Chase in Networking., , , и . MASCOTS, стр. 1-4. IEEE, (2023)Flexible Routing with Policy Exchange., , и . APNet, стр. 21-28. ACM, (2021)Indirect Network Troubleshooting with The Chase., , , и . APNet, стр. 208-210. ACM, (2023)