Original language | Undefined |
---|---|
Title of host publication | Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), Lecture Notes in Computer Science 1055 |
Place of Publication | Passau, Germany |
Pages | 127-146 |
Number of pages | 20 |
Publication status | Published - 1 Jun 1996 |
Keywords
- METIS-120049