TextToward efficient protocol design through protocol profiling and performance assessment, using formal verification in a different context.pdfAvailable under License : See the attached licence file.
Download (314kB)