Original language | Undefined |
---|---|
Title of host publication | Proceedings of COST 247 International Workshop on Applied Formal Methods in System Design |
Place of Publication | University of Maribor, Slovenia |
Publisher | Universiteit Twente |
Pages | 168-183 |
Number of pages | 16 |
ISBN (Print) | 86-435-0155-7 |
Publication status | Published - 29 Aug 1996 |
Keywords
- METIS-120076