File Name/ File Size |
Content Type |
Version |
Access |
License |
|
04541391.pdf(73KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
Jiao Li. a method for verifying deadlock freedom and liveness of petri nets[C]. 见:IEEE International Symposium on Circuits and Systems. Seattle, WA. MAY 18-21,.
|
|
|