Sizes of Up-To-n Halting Testers
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
| Original language | English |
|---|
| Title of host publication | Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, RuFiDiM II, 25-28 September, Turku, Finland. TUCS Lecture Notes |
|---|
| Editors | V. Halava, J. Karhumäki, Y. Matiyasevich |
|---|
| Place of Publication | Turku, Finland |
|---|
| Publisher | TURKU CENTRE FOR COMPUTER SCIENCE |
|---|
| Pages | 176-183 |
|---|
| ISBN (Print) | 978-952-12-2783-7 |
|---|
| Publication status | Published - 2012 |
|---|
| Publication type | A4 Article in a conference publication |
|---|
| Name | Russian Finnish Symposium on Discrete Mathematics |
|---|
| Publisher | Turku Centre for Computer Science |
|---|
| Volume | 17 |
|---|
| ISSN (Print) | 1797-8831 |
|---|
| ISSN (Electronic) | 1797-8831 |
|---|
