[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 3116 || State Space Reduction for Process Algebra Specifications
Rattray, Charles; Maharaj, Savitri; Shankland, Carron
- 作者Rattray, Charles; Maharaj, Savitri; Shankland, Carron
- 文件大小328.13KB
- 发表时间2004
- DOI10.1007/978-3-540-27815-3_16
- 页码164-180