A synthesis algorithm of a protocol model from a single entity

収録刊行物

• Seventh International Conference on Formal Description Techniques, FORTE'94, Berne, Switzerland, 4-7 October

  Seventh International Conference on Formal Description Techniques, FORTE'94, Berne, Switzerland, 4-7 October 1994