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