| Original language | English |
|---|---|
| Pages | 1-455 |
| Number of pages | 455 |
| DOIs | |
| Publication status | Published - 2013 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Research output: Contribution to conference › Paper › peer-review