Original language | Undefined |
---|---|
Pages (from-to) | 5-23 |
Journal | Formal methods in system design |
Volume | 18 |
Issue number | 1 |
Publication status | Published - 2001 |
Keywords
- METIS-204898
J. Lind-Nielsen, H.R. Andersen, H. Hulgaard, K.G. Larsen
Research output: Contribution to journal › Article › Academic
Original language | Undefined |
---|---|
Pages (from-to) | 5-23 |
Journal | Formal methods in system design |
Volume | 18 |
Issue number | 1 |
Publication status | Published - 2001 |