Institutional Repository
| on decidability and model checking for a first order modal logic for value-passing processes | |
| Xue R; Lin HM | |
| 2003 | |
| Source | SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
 |
| ISSN | 1009-2757 |
| Volume | 46Issue:1Pages:45-59 |
| Indexed Type | sci |
| Keyword | First Order Modal Logic Decidability Model Checking Value-passing Processes |
| Department | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. |
| Subject | Computer Science, Information Systems |
| Language | 英语 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13186 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 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,46(1):45-59. |
| APA | Xue R,&Lin HM.(2003).on decidability and model checking for a first order modal logic for value-passing processes.SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,46(1),45-59. |
| MLA | Xue R,et al."on decidability and model checking for a first order modal logic for value-passing processes".SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES 46.1(2003):45-59. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| On+decidability+and+（518KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment