Normal view MARC view ISBD view

An Incremental Maximal Progress Protocol Verification for Ecfsm-Based Protocols

Huang, Chung-Ming Hsu, Jenq-Muh

An Incremental Maximal Progress Protocol Verification for Ecfsm-Based Protocols - 600-615 p.

Subjects--Topical Terms:
Computer Networks
for mal Methods
Protocol Engineering

Print
Request article
Suggest for purchase
Send to device
Save record
BIBTEX Dublin Core ISBD MARCXML RIS
More searches

Search for this title in:
Other Databases (Google Scholar) Open Library (openlibrary.org) Pakistan Union Catalogue (pastic.gov.pk) Other Libraries (WorldCat)