Low-Latency Routing on Mesh-Like Backbones (2017)
Attributed to:
Program Verification Techniques for Understanding Security Properties of Software
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1145/3152434.3152453
Publication URI: http://dx.doi.org/10.1145/3152434.3152453
Type: Conference/Paper/Proceeding/Abstract