| Original language | English |
|---|---|
| Title of host publication | Proceedings of the International Symposium on Theoretical Aspects of Computer Software (TACS'97) |
| Place of Publication | Sendai, Japan |
| Publisher | Springer Verlag |
| Pages | 267 - 294 |
| Publication status | Published - 1997 |
| MoE publication type | A4 Article in a conference publication |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Verlag |
| Volume | 1281 |