File Name/ File Size |
Content Type |
Version |
Access |
License |
|
On+decidability+and+model+checking+for+a+first+order+modal+logic+for+value-passing+processes.pdf(518KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
Xue R,Lin HM. 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.
|
|
|