Browsing

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Dong-2021-Refinement-Based Verification of Device-to-Device Information Flow-vor.pdf.jpgDong, Ning ; Guanciale, Roberto ; Dam, Mads Refinement-Based Verification of Device-to-Device Information FlowInproceedings Oct-2021