Automated protocol verification
Date
1986
Authors
Billington, J.
Wilbur Ham, M.
Bearman, M.Y.
Editors
Diaz, M.
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Book chapter
Citation
Source details - Title: Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V, 1986 / Diaz, M. (ed./s), pp.59-70
Statement of Responsibility
Conference Name
Abstract
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
Copyright 1986