مرکز منطقه ای اطلاع رساني علوم و فناوري - On The Use Of The HOL System For Protocol Verification

DocumentCode :

2410243

Title :

On The Use Of The HOL System For Protocol Verification

Author :

Ardell-Oliver, Rachel C.

Author_Institution :

New Museums Site

fYear :

1991

fDate :

28-30 Aug. 1991

Firstpage :

Lastpage :

Keywords :

Banking; Communication channels; Control systems; Electronic mail; Hardware; History; Industrial plants; Laboratories; Protocols; Timing;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

HOL Theorem Proving System and Its Applications, 1991., International Workshop on the

Conference_Location :

Davis, CA, USA

Print_ISBN :

0-8186-2460-4

Type :

conf

DOI :

10.1109/HOL.1991.596272

Filename :

596272

Link To Document :