Original language | English |
---|---|
Place of Publication | Eindhoven |
Publisher | Technische Universiteit Eindhoven |
Number of pages | 27 |
Publication status | Published - 1994 |
Publication series
Name | Computing science notes |
---|---|
Volume | 9424 |
D.R. Dams, O. Grumberg, R.T. Gerth
Research output: Book/Report › Report › Academic
Original language | English |
---|---|
Place of Publication | Eindhoven |
Publisher | Technische Universiteit Eindhoven |
Number of pages | 27 |
Publication status | Published - 1994 |
Name | Computing science notes |
---|---|
Volume | 9424 |