| 源语言 | 英语 |
|---|---|
| 期刊 | Lecture Notes in Computer Science |
| 卷 | 6447 LNCS |
| 出版状态 | 已出版 - 2010 |
| 活动 | 12th International Conference on Formal Engineering Methods, ICFEM 2010 - Shanghai, 中国 期限: 17 11月 2010 → 19 11月 2010 |
引用此
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
| 源语言 | 英语 |
|---|---|
| 期刊 | Lecture Notes in Computer Science |
| 卷 | 6447 LNCS |
| 出版状态 | 已出版 - 2010 |
| 活动 | 12th International Conference on Formal Engineering Methods, ICFEM 2010 - Shanghai, 中国 期限: 17 11月 2010 → 19 11月 2010 |