File Name/ File Size |
Content Type |
Version |
Access |
License |
|
2.pdf(526KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
Rui Xue,Lin Huimin. on decidability and model checking for a first order modal logic for value-passing processes[J]. Science in China Series F: Information Sciences,2003-01-01,46(1):45-59.
|
|
|