Original language | English |
---|
Place of Publication | Århus : Daimi |
---|---|
Publisher | Department of Computer Science, Aarhus University |
Publication status | Published - 1997 |
Series | BRICS Report Series |
---|---|
Number | RS-97-13 |
ISSN | 0909-0878 |
Kim Guldstrand Larsen, J. H. Andersen
Research output: Book/Report › Book › Research
Original language | English |
---|
Place of Publication | Århus : Daimi |
---|---|
Publisher | Department of Computer Science, Aarhus University |
Publication status | Published - 1997 |
Series | BRICS Report Series |
---|---|
Number | RS-97-13 |
ISSN | 0909-0878 |