Bisimulation minimization of tree automata
- Författare
- Parosh Aziz Abdulla
- (Parosh Aziz Abdulla, Lisa Kaati och Johanna Högberg)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Umeå universitet | 2006 | Sverige, Umeå | 22 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Umeå universitet | 2006 | Sverige, Umeå | 22 sidor. |