Original language | Undefined |
---|---|
Title of host publication | Formal Methods-World Congress on Formal Methods in the Development of Computer Systems, vol.I, LNCS 1708 |
Place of Publication | Toulouse |
Publisher | Springer |
Pages | 76-95 |
ISBN (Print) | 3540665889 |
Publication status | Published - 1999 |
Keywords
- METIS-118932