| Original language | English |
|---|---|
| Pages (from-to) | 165-180 |
| Number of pages | 16 |
| Journal | Journal of Discrete Algorithms |
| Volume | 10 |
| Early online date | 12 Jun 2011 |
| DOIs | |
| Publication status | Published - 1 Jan 2012 |
Projects
- 1 Finished
-
SEBASE: Software Engineered By Automated SEarch
Yao, X. (Principal Investigator)
Engineering & Physical Science Research Council
29/06/06 → 28/12/11
Project: Research Councils
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver