Original language | Undefined |
---|---|
Title of host publication | Proceedings of the 5th international conference on formal description techniques FORTE'92 |
Place of Publication | Perros-Guirec (Frankrijk) |
Pages | 225-240 |
Number of pages | 16 |
Publication status | Published - 16 Oct 1992 |
Keywords
- METIS-119487