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

Accessibility | Terms and Conditions | Last Modified 01 November 2007