Inproceedings,

CTL the language for describing core-based test.

, , , , , and .
ITC, page 131-139. IEEE Computer Society, (2001)

Meta data

Tags

Users

  • @dblp

Comments and Reviews