Editorial remark
Robert Holzmann; Peter Mooslechner; Dennis C. Mueller; Alasdair Smith
- 作者Robert Holzmann; Peter Mooslechner; Dennis C. Mueller; Alasdair Smith
- 卷第20卷
- 期第1期
- 印刷ISSN0340-8744
- 电子ISSN1573-6911
- 文件大小166.17KB
- 发表时间1993
- DOI10.1007/bf01384136
- 页码1-3