Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to
your Research Finance Administrator. Your can find your Research Finance Administrator at https://www.ucl.ac.uk/finance/research/rs-contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:
Email: portico-services@ucl.ac.uk
Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Email: portico-services@ucl.ac.uk
Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Publication Detail
Formal verification of communication protocol using type theory
-
Publication Type:Conference
-
Authors:Zhang XY, Xie XR, Munro M, Harman M, Hu L
-
Publisher:BEIJING UNIV POSTS TELECOMMUNICAT PRESS
-
Publication date:01/01/2003
-
Pagination:1585, 1593
-
Published proceedings:2003 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOL 1 AND 2, PROCEEDINGS
-
ISBN-10:7-5635-0686-1
-
Status:Published
-
Name of conference:International Conference on Communication Technology
-
Conference place:BEIJING, PEOPLES R CHINA
-
Conference start date:09/04/2003
-
Conference finish date:11/04/2003
-
Language:English
-
Keywords:Science & Technology, Technology, Computer Science, Information Systems, Engineering, Electrical & Electronic, Telecommunications, Computer Science, Engineering, protocol engineering, protocol verification
-
Addresses:PLA Univ Sci & Technol
Nanjing
Peoples R China
Abstract
No abstract found
› More search options
UCL Researchers