csp2B: A practical approach to combining CSP and B

被引：44
作者：
机构：
来源：
| 2000年 / Springer-Verlag London Ltd卷 / 12期
关键词：
D O I：
10.1007/PL00003930
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
empty
未找到相关数据