Original language | English |
---|---|
Title of host publication | Formal specification of complex reasoning systems |
Editors | J. Treur, T. Wetter |
Publisher | Ellis Horwood |
Pages | 143-172 |
ISBN (Print) | 0-13-336785-1 |
Publication status | Published - 1993 |
A compositional architecture for simple design formally specified in DESIRE
Izak van Langevelde, Albert W. Philipsen, J. Treur
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review