Communicating X-machines: a practical approach for formal and modular specification of large systems
- 作者Petros Kefalas; George Eleftherakis; Evangelos Kehris
- 卷第45卷
- 期第5期
- 印刷ISSN0950-5849
- 文件大小370.91KB
- 发表时间2003
- DOI10.1016/s0950-5849(03)00018-1
- 页码269-280
同标题推荐
Biometrika Index: Author Index: Vols 1-48 (1901-1961) || Author IndexBiometrika · 1962
Biometrika Index: Author Index: Vols 57-78 (1970-1991) || Author IndexBiometrika · 1992
Biometrika Index: Author Index, Vols. 1-40 (1901-1953); Subject Index, Vols. 1-37 (1901-1950) || Author IndexBiometrika · 1955
2006 AUTHOR INDEX: Author Index2006
Author index vol. 82, nos. 1–8 author index1992
Author Index: 2001 A-Page Author IndexAnalytical Chemistry · 2001
Index to volume II Author's indexCassone, M.C. · International Journal of Orthodontia · 1916
Author index - generate author index for issues 123/1-82002