Original language | Undefined |
---|---|
Title of host publication | Lecture Notes in Computer Science: Formal Methods Europe '93: Industrial-Strengh formal Methods |
Place of Publication | Odense - Denmark |
Publisher | Springer |
Pages | 93-109 |
ISBN (Print) | 3-540-56662-7 |
Publication status | Published - 1993 |
Keywords
- METIS-119001