Original language | Undefined |
---|---|
Title of host publication | TACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor) |
Place of Publication | University of Twente, Enschede |
Pages | - |
Number of pages | 431 |
Publication status | Published - 2 Apr 1997 |
Keywords
- METIS-120061