| 源语言 | 英语 |
|---|---|
| 页(从-至) | v |
| 期刊 | Lecture Notes in Computer Science |
| 卷 | 4260 LNCS |
| 出版状态 | 已出版 - 2006 |
| 活动 | 8th International Conference on Formal Engineering Methods, ICFEM 2006 - Macao, 中国 期限: 1 11月 2006 → 3 11月 2006 |
引用此
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
| 源语言 | 英语 |
|---|---|
| 页(从-至) | v |
| 期刊 | Lecture Notes in Computer Science |
| 卷 | 4260 LNCS |
| 出版状态 | 已出版 - 2006 |
| 活动 | 8th International Conference on Formal Engineering Methods, ICFEM 2006 - Macao, 中国 期限: 1 11月 2006 → 3 11月 2006 |