| Original language | English |
|---|---|
| Title of host publication | Programming and mathematical method (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 24-August 5, 1990) |
| Editors | M. Broy |
| Place of Publication | Berlin |
| Publisher | Springer |
| Pages | 27-31 |
| ISBN (Print) | 3-540-55558-7 |
| Publication status | Published - 1993 |
Publication series
| Name | NATO ASI Series, Series F: Computer and Systems Sciences |
|---|---|
| Volume | 88 |
| ISSN (Print) | 1387-6694 |