Original language | Undefined |
---|---|
Title of host publication | Formal Description Techniques IX, Theory, Application and Tools |
Place of Publication | FORTE/PSTV'96, Kaiserslautern, Germany |
Pages | 333-333 |
Number of pages | 1 |
Publication status | Published - 9 Oct 1996 |
Keywords
- METIS-120065