Personensuche
X
?
Proceedings of the ACM SIGCOMM 2022 Conference ,
2
SwitchV : automated SDN switch validation with P4 models:
, In:
?
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
3
Scalable verification of probabilistic networks:
, In:
?
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security ,
6
Proof-Carrying Network Code:
, In:
?
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages ,
8
Cantor meets Scott: semantic foundations for probabilistic ..:
, In:
?
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming ,
9