Title :
Modular Protocol Nets: The Alternating Bit Protocol Example
Author :
Gildea, K.J. ; Krishnamoorthy, M.S.
Author_Institution :
IBM Corporation
Keywords :
Atomic layer deposition; Libraries; Petri nets; Protocols; Safety; Software engineering; System testing;
Conference_Titel :
Computer Integrated Manufacturing, 1992., Proceedings of the Third International Conference on
Print_ISBN :
0-8186-2615-1
DOI :
10.1109/CIM.1992.638998
