Search Results - Wilbur-Ham, M.C.

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols

    PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols by Billington, J., Wheeler, G.R., Wilbur-Ham, M.C.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: