An Incremental Maximal Progress Protocol Verification for Ecfsm-Based Protocols (Record no. 800630)

MARC details
000 -LEADER
fixed length control field 00545nab a2200157Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230808s1998 |||||||f |||| 00| 0 eng d
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Huang, Chung-Ming
9 (RLIN) 859323
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Hsu, Jenq-Muh
9 (RLIN) 859324
245 #3 - TITLE STATEMENT
Title An Incremental Maximal Progress Protocol Verification for Ecfsm-Based Protocols
300 ## - PHYSICAL DESCRIPTION
Extent 600-615 p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer Networks
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element for mal Methods
9 (RLIN) 787881
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Protocol Engineering
9 (RLIN) 859327
773 ## - HOST ITEM ENTRY
Place, publisher, and date of publication 1998
Title Proceedings ofNational Science Council, Republic of China
International Standard Serial Number 02556588
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Articles
-- 51
-- ABUL KALAM Library
Holdings
Not for loan Home library Serial Enumeration / chronology Total Checkouts Date last seen Koha item type
  Engr Abul Kalam Library Vol.22, No.05 (Sep. 1998)   20/08/2023 Articles