Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Formal Verification of Communication Protocol using Type Theory

Zhang, Xingyuan and Munro, Malcolm and Harman, Mark and Hu, Lin (2003) Formal Verification of Communication Protocol using Type Theory. In: International Conference on Communications Technology (ICCT 2003).

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:UNSPECIFIED
ID Code:413
Deposited By:Prof Mark Harman
Deposited On:06 Nov 2007 15:44
Last Modified:06 Nov 2007 15:44

Repository Staff Only: item control page