The formalization and analysis of CCR protocol and service

BR Zhang, ATD Munro, MH Barton

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Translated title of the contributionThe formalization and analysis of CCR protocol and service
Original languageEnglish
Title of host publicationUnknown
Pages67 - 79
Number of pages12
Publication statusPublished - 1994

Bibliographical note

Conference Proceedings/Title of Journal: Forte '94, 4-7th Oct. Berne, Switzerland

Cite this