An approximation algorithm for obtaining UIO sequences from the FSM model of a protocol
碩士 === 國立清華大學 === 資訊科學學系 === 81 ===
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
1993
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/33684822982933839914 |