• DocumentCode
    2649684
  • Title

    Modular Protocol Nets: The Alternating Bit Protocol Example

  • Author

    Gildea, K.J. ; Krishnamoorthy, M.S.

  • Author_Institution
    IBM Corporation
  • fYear
    1992
  • fDate
    20-22 May 1992
  • Firstpage
    86
  • Lastpage
    95
  • Keywords
    Atomic layer deposition; Libraries; Petri nets; Protocols; Safety; Software engineering; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Integrated Manufacturing, 1992., Proceedings of the Third International Conference on
  • Print_ISBN
    0-8186-2615-1
  • Type

    conf

  • DOI
    10.1109/CIM.1992.638998
  • Filename
    638998