Original language | Undefined |
---|---|
Pages | 127-146 |
Number of pages | 20 |
Publication status | Published - 1996 |
Event | 2nd International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1996 - Passau, Germany Duration: 27 Mar 1996 → 29 Mar 1996 Conference number: 2 |
Workshop
Workshop | 2nd International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1996 |
---|---|
Abbreviated title | TACAS |
Country/Territory | Germany |
City | Passau |
Period | 27/03/96 → 29/03/96 |
Keywords
- FMT-TESTING
- IR-66280
- EWI-6494