| 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.
|
|
|
