编辑过的会议记录
详情
引用
Shankland C、Romijn J 和 Maharaj S（编辑）(2001)IEEE 1394 (Firewire) 研讨会：形式化方法在 IEEE 1394 标准中的应用国际研讨会。 IEEE 1394 (FireWire) 研讨会：IEEE 1394 标准形式化方法应用国际研讨会，苏格兰milan米兰体育官网，2001 年 3 月 13 日至 2001 年 3 月 13 日。苏格兰milan米兰体育官网：milan米兰体育计算科学与数学系。
| 状态 | 已发布 |
|---|---|
| 编辑器 | 萨维·马哈拉吉博士 |
| 发布日期 | 31/12/2001 |
| 相关网址 | http://www.cs.stir.ac.uk/firewire-workshop/workshop.html |
| 发布商 | milan米兰体育计算科学与数学系 |
| 出版地 | 苏格兰milan米兰体育官网 |
| ISBN | 9781857691535 |
| 会议 | IEEE 1394 (FireWire) 研讨会：形式化方法在 IEEE 1394 标准中的应用国际研讨会 |
| 会议地点 | 苏格兰milan米兰体育官网 |
| 日期 |
人 (1)
高级讲师，计算科学