Original language | English |
---|---|
Title of host publication | Proc. IEEE Workshop on High-level Test Synthesis and Validation, HTSV98 |
Pages | 88-95 |
Publication status | Published - 1998 |
Event | conference; Proc. IEEE Workshop on High-level Test Synthesis and Validation, HTSV98, La Jolla, CA, 13-14 November 1998 - Duration: 1 Jan 1998 → … |
Conference
Conference | conference; Proc. IEEE Workshop on High-level Test Synthesis and Validation, HTSV98, La Jolla, CA, 13-14 November 1998 |
---|---|
Period | 1/01/98 → … |
Other | Proc. IEEE Workshop on High-level Test Synthesis and Validation, HTSV98, La Jolla, CA, 13-14 November 1998 |