Original language | English |
---|---|
Title of host publication | Proceedings of the Hoare Symposium |
Place of Publication | Oxford, England |
Publisher | Macmillan |
Publication date | 2000 |
Publication status | Published - 2000 |
Domain Modelling: Resource Management Strategics, Tactics and Operations, Decision Support and Algorithmic Software
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review