Original language | English (US) |
---|---|
Title of host publication | Calculational system design |
Editors | M. Broy, R. Steinbruggen |
Publisher | IOS Press |
Pages | 421-505 |
State | Published - 1999 |
Publication series
Name | NATO Science Series, Series F: Computer and Systems Sciences |
---|---|
Volume | 173 |