Institutional Repository
| on decidability and model checking for a first order modal logic for value-passing processes | |
| Rui Xue; Lin Huimin; Xue, R (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China | |
| 2003 | |
| Source | Science in China Series F: Information Sciences
![]() |
| Volume | 46Issue:1Pages:45-59 |
| Indexed Type | springer,sci |
| Keyword | First Order Modal Logic Decidability Model Checking Value-passing Processes |
| Department | 计算机科学国家重点实验室 |
| WOS ID | WOS:000181456200004 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4454 |
| Collection | 基础软件与系统重点实验室 |
| Corresponding Author | Xue, R (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China |
| Recommended Citation GB/T 7714 | Rui Xue,Lin Huimin,Xue, R . 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 | Rui Xue,Lin Huimin,&Xue, R .(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 | Rui Xue,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 | ||
| 2.pdf(526KB) | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment